Kellerautomaten

Zusammenfassung

Das Prinzip von Kellerautomaten ähnelt bezüglich Eingabemechanismus dem der endlichen Automaten (Lesen vom Band). Allerdings kommt als wesentliches Element ein Kellerspeicher hinzu. Der Keller hat eine FILO-Struktur („first in last out“), die in der praktischen Informatik einem Stack entspricht. Die Zustandsübergänge eines Kellerautomaten entsprechen denen eines ϵ-NEA.

Zusammen mit der endlichen Kontrolle von nichtdeterministischen endlichen Automaten kann ein solches Modell dazu genutzt werden, kontextfreie Sprachen zu erkennen.

Die neun vorliegenden Aufgaben beinhalten

• die Konstruktion von deterministischen und nichtdeterministischen Kellerautomaten,

• die Überprüfung von Sprachen auf Zugehörigkeit zur Klasse der kontextfreien Sprachen sowie

• Übungen zur Selbstkontrolle des Lernenden durch Angabe von konkreten Läufen.

Lernziele sind demnach, Kellerautomaten als Erweiterung von endlichen Automaten im Zusammenhang mit kontextfreien Sprachen zu begreifen und mit Blick auf Prüfungssituationen den aufgabenbezogenen Umgang mit Kellerautomaten einzuüben und zu vertiefen.