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

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

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

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

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

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

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

Одним из видов гомоморфизма является

Пересечение автоматных языков является

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

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