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