Изменения

==Алгоритм Эрли==Построим список разбора для <tex>\omega</tex>с помощью данного алгоритма и воспользуемся леммой, доказанной выше.<br>'''Инициализация.<br/>Добавим Для простоты добавим новый стартовый вспомогательный нетерминал <tex>S'</tex> и правило <tex>S' \rightarrow S</tex>.<br>Добавим в <tex>I_0</tex> ситуацию &cup;= <tex>[S' \rightarrow \cdot S, 0]</tex><br>'''Построение <tex>I_j</tex> по <tex>I_0,...,I_{j-1}</tex>.<br/> useful_loop(0)Пока в <tex>I_j</tex> можно добавить новые ситуации повторяем шаги 1—3.<br> < for i>Шаг = 1.</i> Для каждой ситуации .n for <tex>[B \rightarrow \alpha \cdot a_{j} \beta, i] \in I_{j-1}</tex>, где <tex>a_j</tex> — j-й символ в <tex>\omegaI_j</tex>, включить &cup;= <tex>[B \rightarrow \alpha a_{j} \cdot \beta, i] </tex> в <tex>I_j</tex>.<br># Правило (1) useful_loop(j)  function useful_loop(j):<i>Шаг 2.</i> Если for <tex>[A \rightarrow \alpha \cdot , i] \in I_j</tex>, то для каждой ситуации for <tex>[B \rightarrow \gamma \cdot A \beta, k] \in I_{i}</tex> включить <tex>I_j</tex> &cup;= <tex>[B \rightarrow \gamma A \cdot \beta, k]</tex> в <tex>I_j</tex>.<br># Правило (2) <i>Шаг 3.</i> Для всех for <tex>[A \rightarrow \alpha \cdot B \beta, i] \in I_j</tex>, для всех for <tex>\gamma</tex> таких, что <tex>: (B \rightarrow \gamma ) \in P</tex> включить <tex>[B \rightarrow \cdot \gamma, j]</tex> в <tex>I_j</tex>.<br>'''Завершение.<br>Если &cup;= <tex>[S' B \rightarrow S \cdot\gamma, 0j] \in I_n</tex>, то <tex>\omega \in L# Правило (G3) </tex>.<br>