Idealisiertes Maschinenmodell aus der theoretischen Informatik mit einer Eingabe/Ausgabe, Zuständen & Übergängen. Chomsky-Hierarchie Stufe 3