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