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