Изменения

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