Kellerautomat (DKA)

Prüfung eines Eingabeworts mit einem Kellerautomaten

Der Kellerautomat ist eine Weiterentwicklung des Akzeptorsmodells (DEA) aus dem vorigen Kapitel. Auch ein Kellerautomat prüft, ob ein Eingabewort einer zuvor definierten formalen Sprache angehört.

In der Abbildung siehst du den ein Beispiel für den Zustandsgraphen und den Keller dieses Automatentyps.

In diesem Kapitel lernst du ...

• aus welchen Elementen ein Kellerautomat besteht.
• wie das Verhalten eines Kellerautomaten definiert wird.
• was in einem Arbeitsschritt eines Kellerautomaten passiert.
• welche formalen Sprachen ein Kellerautomat erkennen kann.