Изменения

Чтобы воспользоваться леммой, необходимо найти <tex>I_nD_n</tex> для <tex>w</tex>. Алгоритм Эрли является [[Динамическое программирование|динамическим алгоритмом]]: он последовательно строит список разбора, причём при построении <tex>I_jD_j</tex> используются <tex>I_0D_0, \ldots, I_D_{j}</tex> (то есть элементы списков с меньшими номерами и ситуации, содержащиеся в текущем списке на данный момент).

# Если <tex>[A \rightarrow \alpha \cdot a_w_{j} \beta, i] \in I_D_{j-1}</tex> (где <tex>a_jw_j</tex> — <tex>j</tex>-ый символ строки), то <tex>[A \rightarrow \alpha a_w_{j} \cdot \beta, i] \in I_jD_j</tex>.# Если <tex>[B \rightarrow \eta \cdot , k] \in I_j</tex> и <tex>[A \rightarrow \alpha \cdot B \beta, i] \in I_{k}</tex>, то <tex>[A \rightarrow \alpha B \cdot \beta, i] \in I_j</tex>.

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

D[j] <tex>\cup</tex>= {<tex>[A \rightarrow \alpha B \cdot B \beta, k]</tex>}