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

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

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

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

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

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

Каждый автоматный язык

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

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

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

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