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