Ja $\phi_1$ und $\phi_2$ sind jeweils dieselben. Man produziert pro Umformung nur aus einemNonterminalsymbol eine andere Zeichenkette bestehend aus Nichterminalsymbolen und Terminalsymbolen (insgesamt mind. 1 Symbol da monoton).
Die Zeichenketten rechts und links des umgeformten Nonterminalsymbol bleiben unverändert.
Gruß Jörg (Tutor)