Cтраница 4
Если F-множество обструкций, то множество нормальных слов определяется по формуле N S SFS. Остается воспользоваться леммой и тем очевидным фактом, что множество всех слов регулярно. [46]
Рассмотрим детерминированный автомат, задающий множество нормальных слов. [47]
Слово а называется синхронизатором для множества слов W, если оно является синхронизатором для каждого слова из этого множества. [48]
Рассмотрим теперь основные способы задания множеств допустимых слов и областей запрета, которые встречаются на практике. Для каждого из этих способов применительно к автоматам, полученным с помощью любого из описанных выше алгоритмов синтеза вполне определенных автоматов, укажем те выходные сигналы и состояния, которые будут при этом неопределенными. Правильность этих указаний легко проверить, анализируя соответствующие правила описанных алгоритмов синтеза. [49]
Подмножество R s N называется множеством определяющих слов группы G относительно X, если N является нормальным замыканием R в F. [50]
Поскольку для любого конечного алфавита А множество слов И ( А) счетно, а множество действительных чисел континуально, справедливо следующее предложение. [51]
Это выводится из того, что множество нормальных слов является марковским. Там же можно найти и еще несколько рациональных производящих функций для соответствующих интересных множеств, а главное - глубокие геометрические и комбинаторные идеи, заслуживающие тщательного изучения. [52]