Изменения

Для каждого <tex>0 \leqslant j \leqslant n</tex> построим <b>список ситуаций</b> <tex>I_j</tex> такой, что <tex>[A \rightarrow \alpha \cdot \beta \cdot , i] \in I_j</tex> для <tex>0 \leqslant j \leqslant n</tex> тогда и только тогда, когда для некоторых <tex>\gamma</tex> и <tex>\delta</tex> существуют выводы <tex>S \Rightarrow^* \gamma A \delta, \gamma \Rightarrow^* a_1...a_i</tex> и <tex>\alpha \Rightarrow^* a_{i+1} ... a_j</tex>.