69
правок
Изменения
Нет описания правки
Для простоты добавим новый стартовый вспомогательный нетерминал <tex>S'</tex> и правило <tex>(S' \rightarrow S)</tex>.
<font color=green> // Инициализация </font>
D[0] = <tex>\lbrace {[S' \rightarrow \cdot ⟶ ·S, 0] \rbrace</tex>}
'''for''' i = 1 '''to''' len(w) - 1
D[i] = <tex>\varnothing </tex>
complete(D, i)
predict(D, i)
'''function''' scan(D, i)
'''if''' j = 0
'''return'''
'''for''' <tex>[A \rightarrow \alpha \cdot a \beta, k] \in I_j</tex>
==Корректность алгоритма==
{{Теорема