Reguläre Automaten wort-NEA ⇒ ε-NEA ⇒ NEA ⇒ DEA ⇒ reduzierter-DEA = kanonischer-DEA (minimaler DEA) weitere: produkt-DEA Nicht regulär PDA ⇒ dPDA