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