Übungen mit JFLAP

Nun wirst du dich mit der Simulation von Automaten beschäftigen. Das Programm JFLAP ermöglicht dir, Automaten zu entwerfen und ihr Akzeptanzverhalten zu testen. Im folgenden Beispiel lernst du, JFLAP selber zu bedienen. Vollziehe die im Beispiel beschriebenen Schritte nach, um den Umgang mit dem Programm zu lernen.

JFLAP kommt als .jar-Datei, diese kann man auf einer Konsole ausführen mit java -jar JFLAP7.1.jar.

Nach dem Start des Programms erscheint zunächst ein Fenster, in dem man die Art des Automaten auswählen kann. Da du dich erst einmal nur mit endlichen Automaten befasst, wählst du den Button Finite Automaton.

Es erscheint ein weiteres Fenster zur Erstellung des Automaten. Wie du einen Automaten erstellst, lernst du im nächsten Beispiel. Zunächst wirst du lernen, einen bereits erstellten Automaten zu testen.

Gehe dazu im Menü auf File → open und öffne die Datei Schulausflug.jff, diese findest du in diesem ZIP-Archiv. Nun siehst du den Automaten aus dem Beispiel mit dem Schulausflug.

Jetzt sollst du das Verhalten des Automaten testen. JFLAP bietet dafür zwei Möglichkeiten:

Möglichkeit 1:

Der Automat arbeitet das Wort schrittweise ab. Gehe dazu in der Menübar des bereits geöffneten Fensters auf Input→Step by State. Es erscheint ein Eingabefenster. Gebe dort Anna ein.

Dann öffnet sich ein Fenster, in dem du das Verhalten des Automaten schrittweise nachvollziehen kannst, indem du auf den Button Step klickst. Um den Automaten erneut mit der gleichen Eingabe zu starten, musst du Reset drücken.

Starte nun auf gleiche Weise den Automaten einmal mit der Eingabe Anke und einmal mit der Eingabe Andreas. Dabei wirst du feststellen, dass der Automat sich bei der Eingabe Anke grün färbt; die Eingabe wird also akzeptiert. Die Eingabe Andreas kann der Automat dagegen nicht verarbeiten. Deshalb stoppt er bei q8, egal wie oft der Step-Button jetzt noch gedrückt wird.