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

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

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

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

Язык является регулярным тогда и только тогда, когда он является

Праволинейным является

Неукорачивающей является

Конечный преобразователь является

Крона, по своей сути, является

Каждый разрешимый язык является

Каждая праволинейная грамматика является