Множеством можно назвать

Обобщенным конечным автоматом можно назвать

Машину Тьюринга при наличии специальных условий можно назвать

Алгоритм, позволяющий определить, является ли пустым множеством пересечение языков грамматик

Гомоморфизм можно задать

С помощью конечного автомата можно

Составить автоматный язык можно

Над языками можно производить операции

Критерием автоматности можно считать

Автоматный язык можно получить

Конечные автоматы можно изображать в виде