Изменения
→Алгоритм Эрли
<i>Шаг 1.</i> Если <tex>(S \rightarrow \alpha) \in P</tex>, включить <tex>[S \rightarrow \cdot \alpha, 0]</tex> в <tex>I_0</tex>.<br>
Пока можно включить новые ситуации в <tex>I_0</tex> повторяем шаги 2 и 3.<br>
<i>Шаг 2.</i> Если Для всех <tex>[B A \rightarrow \gamma alpha \cdotB \beta, 0] \in I_0</tex>, включить в <tex>I_0</tex> ситуацию если <tex>[A B \rightarrow \alpha B gamma \cdot \beta, 0]\in I_0</tex>, то включить в <tex>I_0</tex> для всех ситуацию <tex>[A \rightarrow \alpha B \cdot B \beta, 0]</tex> из <tex>I_0</tex>.<br>
<i>Шаг 3.</i> Для всех <tex>[A \rightarrow \alpha \cdot B \beta, 0] \in I_0</tex>, для всех <tex>\gamma</tex> таких, что <tex>(B \rightarrow \gamma) \in P</tex> включить <tex>[B \rightarrow \cdot \gamma, 0]</tex> в <tex>I_0</tex>.<br>
Построение <tex>I_j</tex> по <tex>I_0, I_1, ..., I_{j-1}</tex>. <br>
Если <tex>[S \rightarrow \alpha \cdot, 0] \in I_n</tex>, то <tex>\omega \in L(G) </tex>.<br>
==Корректность алгоритма==
