Если существует конечный автомат, распознающий язык, то этот язык называется
Если существует детерминированная машина Тьюринга, допускающая язык, то он называется
Если существует детерминированная машина Тьюринга, то язык над алфавитом называется
Язык является регулярным тогда и только тогда, когда он является
Минимум звездных высот регулярных выражений, задающих язык, называется
Язык является конечным, если
Если линейный язык не содержит пустого слова, то он
Если две грамматики порождают один и тот же язык, то они называются
Если язык является автоматным, то синтаксический моноид
Если контекстно-свободный язык не содержит пустого слова, то
