Классы эквивалентности по взаимозаменяемости относительно автоматного языка
Классы эквивалентности по взаимозаменяемости сами являются автоматными языками
Если соответствующее отношение взаимозаменяемости разбивает множество всех слов рассматриваемого алфавита на конечное число классов эквивалентности, то
Проблема эквивалентности конечных автоматов
Построить минимальный детерминированный конечный автомат для заданного языка позволяют
С длинами слов обычно связывают
В качестве формализма, с помощью которого задаются классы однотипных лексем, регулярные выражения используются
Множество всех слов, допускаемых автоматом с магазинной памятью, формирует
Если к обобщенному конечному автомату добавить переход с меткой 0, то множество допускаемых этим автоматом слов
