Пересечение языков является непустым тогда и только тогда, когда постовская система соответствия
Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия
Дополнение языка является бесконечным тогда и только тогда, когда постовская система соответствия
Грамматика является неоднозначной тогда и только тогда, когда
Речь идет о конечном синтаксическом моноиде только тогда, когда
Язык называется регулярным, если
Каждый автоматный язык является
Каждый автоматный язык является
Каждый конечный язык является
Язык является конечным, если