53
правки
Изменения
Указано ограничение на грамматику
Пусть дана [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]] грамматика <tex>\Gamma</tex> и слово <tex>w \in \Sigma^{*}</tex>. Требуется выяснить, выводится ли это слово в данной грамматике.
[[Алгоритм_Кока-Янгера-Касами_разбора_грамматики_в_НФХ|Базовая версия]] данного алгоритма работает только для грамматик в [[нормальная форма Хомского|нормальной форме Хомского]]. Модифицируем алгоритм для работы на произвольных контекстно-свободных грамматиках [[Удаление_цепных_правил_из_грамматики|без цепных правил]] и [[Удаление_eps-правил_из_грамматики|без <tex>\varepsilon</tex>-правил]].
== Алгоритм для произвольной грамматики ==
