•Nechť A ® x Î P je pravidlo.
1) Derivace:
Nechť u, v Î (N È T)* : uAv Þ uxv
Pozn.: Přepsán je libovolný neterminál
2) Nejlevější derivace:
Nechť u Î T*,
v Î (N È T)*: uAv Þlm uxv
Pozn.: Přepsán je nejlevější neterminál
3) Nejpravější derivace:
Nechť u Î (N È T)*, v Î T*:
uAv Þrm uxv
Pozn.: Přepsán je nejpravější neterminál