Wegen kann ab Typ 1-Grammatiken keine Regel der Form auftreten.

Wenn erwünscht ist, führt man die Sonderregel ein, dass die Ableitung des Startsymbols explizit zugelassen ist.

Grammatik -frei machen

Einzige Regel wo vorkommen darf: Startregel

  • Alle anderen Regeln -frei machen
  • Erste Ableitungsregel enthält leeres Wort | Nichtterminal zu allen anderen Ableitungen
  • Epsilon-Regel vorziehen

Beispiel

  • <S> | 0<S>1 | a<S>b

Wird zu:

  • <S> | <S’>
  • <S’> 0<S’>1 | a<S’>b | 01 | ab