Cтраница 2
Преобразование / P Q, сопоставленное с выходным сигналом р - q, оставляет на месте все слова г, которые не содержат вхождений слова р и каждое слово вида т рг где выделенное в записи вхождение слова р является первым слева, переводит в слово ггдг2 Функции переходов и выходов дискретного преобразователя определяются следующим образом. Если первая подстановка, которая применима к слову г, не является заключительной или ни одна из подстановок алгорифма к слову г неприменима, то аог ао. Функция ( А действует тождественным образом. [16]