- Nicht-Terminalsymbole werden zu Zuständen
- <
> < > | < > wird zu einem Zustand mit Kante über , zu sich selbst - <
> < > | < > wird zu einem Zustand mit 2 Kanten über zu jeweils , - Existiert Regel <
> wird zum Endzustand - Regeln der Form <
> werden zu < > < >’ und < ’> - Startsymbol
wird zum Anfangszustand