38
правок
Изменения
Нет описания правки
<i>Шаг 4.</i> Для каждой ситуации <tex>[B \rightarrow \alpha \cdot a \beta, i] \in I_{j-1}</tex>, для которой <tex>a = a_j</tex> включить в <tex>I_j</tex> ситуацию <tex>[B \rightarrow \alpha a \cdot \beta, i] </tex>.<br>
Выполняем шаги 5 и 6 до тех пор, пока можем включать новые ситуации в <tex>I_j</tex>.<br>
<i>Шаг 5.</i> Пусть <tex>[A \rightarrow \alpha \cdot , i] \in I_j</tex>. Ищем ситуации вида <tex>[B \rightarrow \alpha \cdot A \beta, k]</tex>. Для каждой из них включить в <tex>I_j</tex> ситуацию <tex>[B \rightarrow \alpha A \cdot \beta, k]</tex>.<br>
<i>Шаг 6.</i> Пусть <tex>[A \rightarrow \alpha \cdot B \beta, i] \in I_j</tex>. Для каждого <tex>B \rightarrow \gamma</tex> из <tex>P</tex> включить в <tex>I_j</tex> ситуацию <tex>[B \rightarrow \cdot \gamma, j]</tex>.<br>
Вычисляем все <tex>I_j</tex> для <tex>0 \leqslant j \leqslant n</tex>.<br>
<tex>\omega \in L(G) \Leftrightarrow [S \rightarrow \alpha \cdot, 0] \in I_n</tex>.
