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