Изменения

Построим список разбора для Добавим вспомогательный нетерминал <tex>\omegaS'</tex>Строим <tex>I_0</tex><br><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\omega</tex> повторяем шаги 2 и 3.<br><i>Шаг 2'''Инициализация.</ibr> Для всех <tex>[A \rightarrow \alpha \cdot B \beta, 0] \in I_0</tex>, если <tex>[B \rightarrow \gamma \cdot, 0] \in I_0</tex>, то включить Добавим в <tex>I_0</tex> ситуацию <tex>[A S' \rightarrow \alpha B \cdot \betaS, 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>можно добавить новые ситуации повторяем шаги 1—3. <br><i>Шаг 41.</i> Для каждой ситуации <tex>[B \rightarrow \alpha \cdot a_{j} \beta, i] \in I_{j-1}</tex>, где <tex>a_j</tex> — j-й символ в <tex>\omega</tex>, включить <tex>[B \rightarrow \alpha a_{j} \cdot \beta, i] </tex> в <tex>I_j</tex>.<br>

<i>Шаг 52.</i> Если <tex>[A \rightarrow \alpha \cdot , i] \in I_j</tex>, то для каждой ситуации <tex>[B \rightarrow \gamma \cdot A \beta, k] \in I_{i}</tex> включить <tex>[B \rightarrow \gamma A \cdot \beta, k]</tex> в <tex>I_j</tex>.<br><i>Шаг 63.</i> Для всех <tex>[A \rightarrow \alpha \cdot B \beta, i] \in I_j</tex>, для всех <tex>\gamma</tex> таких, что <tex>B \rightarrow \gamma \in P</tex> включить <tex>[B \rightarrow \cdot \gamma, j]</tex> в <tex>I_j</tex>.<br> '''Завершение.<br>Если <tex>[S ' \rightarrow \alpha S \cdot, 0] \in I_n</tex>, то <tex>\omega \in L(G) </tex>.<br>