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