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