Изменения
Нет описания правки
'''for''' i = 1 '''to''' len(w) - 1
<tex>D_i</tex> = <tex>\varnothing </tex>
<font color=green>// Основная часть Вычисление ситуаций </font>
'''for''' j = 0 '''to''' len(w) - 1
<tex>\mathtt{scan}(D, j, G, w)</tex>
<tex>\mathtt{complete}(D, j, G, w)</tex>
<tex>\mathtt{predict}(D, j, G, w)</tex>
<codefont color=green>// Результат </font> '''if''' <tex>[S' \rightarrow S \cdot, 0] \in D_{len(w)} </tex> '''return''' True '''else''' '''return''' False
<font color=green>// Первое правило </font>
'''function''' <tex>\mathtt{scan}(D, j, G, w)</tex>:
'''for''' <tex>(B \rightarrow \eta) \in P </tex>
<tex>D_{j}</tex> <tex>\cup</tex>= <tex>[B \rightarrow \cdot \eta, j]</tex>
==Корректность алгоритма==
{{Теорема
