Чтобы выяснить, является ли некоторый формальный язык автоматным, нужно

Использование специальных средств, позволяющих выяснять, является ли некоторый формальный язык автоматным

Применение достаточных и необходимых условий автоматности определяет, является ли некоторый формальный язык

Если язык является автоматным, то синтаксический моноид

Автоматным является

Необходимые условия автоматности определяют, что формальный язык

Чтобы определить, является ли язык бесконечным

Некоторый язык над алфавитом задает

Чтобы быть порождаемым линейной грамматикой в нормальной форме линейный язык

Язык является конечным, если

Каждый локальный язык является