<tex>I_j</tex> ∪= <tex>[A \rightarrow \alpha B \cdot \beta, k]</tex> # Правило (2)
for <tex>[B \rightarrow \alpha \cdot A \eta, ik] \in I_j</tex>
for <tex>\beta : (A \rightarrow \beta) \in P</tex>
<tex>I_j</tex> ∪= <tex>[A \rightarrow \cdot \beta, j]</tex> # Правило (3)