69
правок
Изменения
Нет описания правки
D[i] = <tex>\varnothing </tex>
<font color=green> // Основная часть </font>
'''for''' i j = 0 '''to''' len(w) -1 scan(D, ij) '''while''' D[ij] изменяется complete(D, ij) predict(D, ij)
<font color=green> // Первое правило </font> '''function''' scan(D, ij)
'''if''' j = 0
'''return'''
'''for''' [A ⟶ α·aβ, i] ∈ D[j - 1] '''if''' a = w[j - 1] D[j] ∪= {[A ⟶ αa·β, i]} <font color=green> // Второе правило <tex/font> '''function''' predict(D, j) '''for''' [A \rightarrow \⟶ &alpha \cdot a \;·Bβ, ki] ∈ D[j] '''for''' [B ⟶ η] &isin P D[j] ∪= {[B ⟶ ·η] \in I_j} <font color=green> // Третье правило </texfont> '''function''' complete(D, j) '''for''' [B ⟶ η·, i] ∈ D[j] '''for''' [A ⟶ α·Bβ, k] &isin D[i] D[j] ∪= {[A ⟶ α·Bβ, k]}
==Корректность алгоритма==