Изменения
Нет описания правки
Пусть дана [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная]] грамматика <tex>G</tex> и входная цепочка <tex>\omega</tex>. Требуется определить выводится ли <tex>\omega</tex> в <tex>G</tex>.
==Определения==
{{Определение
