Изменения

<tex> D_{0} = \lbrace [S' \rightarrow \cdot S, 0] \rbrace </tex>

'''for''' i = 1 '''to''' len(w) - 1

<font color=green>// Основная часть </font>

'''for''' j = 0 '''to''' len(w) - 1

<tex>\mathtt{complete}(D, j, G, w)</tex>

<tex>\mathtt{predict}(D, j, G, w)</tex>

<font color=green>// Первое правило </font>

'''function''' <tex>\mathtt{scan}(D, j, G, w)</tex>:

'''return'''

'''for''' <tex>[A \rightarrow \alpha \cdot a \beta, i] \in D_{j - 1} </tex>

<tex>D_{j}</tex> <tex> \cup</tex>= <tex>[A \rightarrow \alpha \cdot a \beta, i]</tex>

'''for''' <tex>(B \rightarrow \eta) \in P </tex>

<tex>D_{j}</tex> <tex>\cup</tex>= <tex>[B \rightarrow \cdot \eta, j]</tex>

==Корректность алгоритма==

{{Теорема