Язык, состоящий из меток всех успешных путей, является

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

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

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

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

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

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

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

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

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

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