So, the rule would yield the production q 1 w − → σ(γ(q 3 ), q 2 ) in the domain projection.
a deleting rule such as q x 2 ) necessitates the introduction of a new nonterminal ⊥ that can generate all of T Σ with weight 1.