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