Бюрократы, editor, Администраторы
422
правки
Изменения
Это я, конечно, погорячился =(
<tex>I_j'</tex> = <tex>I_j''</tex>
<tex>I_j''</tex> = ∅
for <tex>[B \rightarrow \eta \cdot , k] \in I_j'</tex>
for <tex>[A \rightarrow \alpha \cdot B \beta, i] \in I_{k}</tex>
<tex>I_j''</tex> ∪= <tex>[A \rightarrow \alpha B \cdot \beta, i]</tex> # Правило (2)
