Изменения

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