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