53
правки
Изменения
пофиксил баг
Пусть дана [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]] грамматика <tex>\Gamma</tex> и слово <tex>w \in \Sigma^{*}</tex>. Требуется выяснить, выводится ли это слово в данной грамматике.
[[Алгоритм_Кока-Янгера-Касами_разбора_грамматики_в_НФХ|Базовая версия]] данного алгоритма работает только для грамматик в [[нормальная форма Хомского|нормальной форме Хомского]]. Модифицируем алгоритм для работы на произвольных контекстно-свободных грамматиках ['''ошибка''': не на произвольных; требуется отсутствие [Удаление_цепных_правил_из_грамматики|без цепных правил и, возможно, ещё что-то]].
== Алгоритм для произвольной грамматики ==
Введём вспомогательную динамику: <tex>h_{A \rightarrow \alpha, i, j, k} = \left[\alpha\left[1..k\right] \Rightarrow^* w\left[i..j\right]\right] \quad \left(\forall A \rightarrow \alpha \in \Gamma, k \le M\right)</tex> — можно ли из префикса длины <tex>k</tex> правой части данного правила вывести <tex>w\left[i..j\right]</tex>. Также введём динамику <tex>a_{A,i,j} = \left[A \Rightarrow^{*} w[i..j]\right]</tex>, аналогично базовой версии алгоритма.
* '''База динамики''': <tex>a_{A, i, i} = \left[ A \rightarrow w[i] \in P \right]</tex> — вывод терминалов, <tex>a_{A, i, i-1} = \left[ A \rightarrow \varepsilon \right]</tex> — <tex>\varepsilon</tex>-вывод, ; <tex>\forall A \rightarrow \alpha \:\: h_{A \rightarrow \alpha, i, i-1, 0} = true</tex> — <tex>\varepsilon</tex>-вывод для <tex>\varepsilon</tex>-префиксов правил.
* '''Переход''': Пусть для всех подстрок <tex>w[i..j]</tex> динамики уже вычислены. Сначала вычислим вспомогательную динамику: <tex>\forall k: h_{A \rightarrow \alpha, i, j, k} = \bigvee\limits_{r=i-1..j}\left(h_{A \rightarrow \alpha, i, r, k-1} \wedge a_{\alpha[k],r+1,j}\right)</tex>. Это вычисление может обратится к <tex>a_{A,i,j}</tex>, но на результат это не повлияет, так так в данный момент <tex>a_{A,i,j}=false</tex>. Главная динамика выражается так: <tex>a_{A,i,j}=\bigvee\limits_{A \rightarrow \alpha}h_{A \rightarrow \alpha, i, j, \left|\alpha\right|}</tex>.
