Бюрократы, editor, Администраторы
422
правки
Изменения
Косяк с именами переменных
function useful_loop(j):
do
for <tex>[B \rightarrow \eta \cdot , ik] \in I_j</tex> for <tex>[A \rightarrow \alpha \cdot B \beta, ki] \in I_{ik}</tex> <tex>I_j</tex> ∪= <tex>[A \rightarrow \alpha B \cdot \beta, ki]</tex> # Правило (2)
for <tex>[B \rightarrow \alpha \cdot A \eta, k] \in I_j</tex>
2. Включаем по правилу 2.<br/>
Тогда <tex>\alpha = \alpha' B , [A \rightarrow \alpha' \cdot B \beta, ki] \in I_{ik}</tex> и <tex> [B \rightarrow \eta \cdot, ik] \in I_{j} </tex>. По предположению, <tex>\alpha' \Rightarrow^* a_{ki+1}...a_{ik}, \eta \Rightarrow^* a_{ik+1}...a_{j} </tex>, откуда <tex>\alpha = \alpha' B \Rightarrow^*a_{ki+1}...a_{j} </tex>. Кроме того, существуют <tex>\gamma'</tex> и <tex>\delta' </tex> такие, что <tex>S' \Rightarrow^* \gamma' A \delta', \gamma' = a_1...a_{ki} </tex>. Значит, при <tex>\gamma = \gamma', \delta = \delta'</tex> <tex>[A \rightarrow \alpha \cdot \beta, i] \in I_j</tex>.
3. Включаем по правилу 3.<br/>
