Cтраница 2
После чтения буквы всегда следует перемещение. В строке с р 1 после D исполнитель возвращается к оператору PJ, ибо поиск вхождения ju начинается заново для бесконечного слова. Запись в остальных столбцах для этих строк не требуется. [16]
Справедлив и аналог для автоматных мономиальных алгебр. Выделим один частный случай. Рассмотрим бесконечное слово / (6.1) и алгебру Л /, в которой нормальные слова - это все под слова / и только они, а остальные слова равны нулю. [17]
Формальное определение такое: бесконечные слова - это отображения f: Z - X, а последовательности букв - отображения /: 1М - к. Во всех конкретных случаях читатель сам без труда переведет соответствующую формулировку из одной формы в другую и обратно. По умолчанию также будет предполагаться, что термин подслово означает непустое конечное подслово, даже если речь идет о бесконечных словах. [18]