Если две грамматики порождают один и тот же язык, то они называются

Два конечных автомата, распознающих один и тот же язык, называются

Если автоматы с магазинной памятью распознают один и тот же язык, то они

Если существует конечный автомат, распознающий язык, то этот язык называется

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

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

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

Если линейный язык не содержит пустого слова, то он

Если контекстно-свободный язык не содержит пустого слова, то

Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга

Если существует детерминированная машина Тьюринга, допускающая язык, то он называется