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