69
правок
Изменения
Нет описания правки
'''function''' predict(D, j)
'''for''' [A ⟶ α·Bβ, i] ∈ D[j]
'''for''' [B ⟶ η] &isin ; P
D[j] ∪= {[B ⟶ ·η]}
'''function''' complete(D, j)
'''for''' [B ⟶ η·, i] ∈ D[j]
'''for''' [A ⟶ α·Bβ, k] &isin ; D[i]
D[j] ∪= {[A ⟶ α·Bβ, k]}
