JFLAP – eigeneE Automaten entwerfen

Nachdem du jetzt schon fertige Automaten mit JFLAP testen kannst, wirst du nun lernen, auch eigene Automaten mit der Software zu entwickeln. Vollziehe hierzu zunächst wieder die Schritte des Beispiels nach.

Der Automat, den du erstellst, hat als Eingabealphabet die Menge {0}. Er soll vorerst nur das Wort 00 erkennen.

Öffne JFLAP, Finite State Automaton.

Nun erscheint wieder das Fenster, in dem du einen Automaten modellieren kannst. Links oben siehst du mehrere Symbole. Einen Mauspfeil, einen Kreis mit einem eingezeichneten Mittelpunkt, einen langgezogenen Pfeil und einen Totenkopf. Jedes der Symbole stellt einen bestimmten Modus dar.

Wenn du mit der linken Maustaste den Kreis anklickst, bist du in dem Modus, in dem Zustände erzeugt werden können.

Gehe nun zuerst auf diesen Kreis, um in den Modus Zustand setzen zu wechseln. Gehe dann auf die weiße Zeichenfläche und klicke auf die linke Maustaste. Schon ist der erste Zustand erzeugt, der mit q0 bezeichnet wird. Setze rechts daneben noch drei weitere Zustände, so dass du schließlich q0 bis q3 gesetzt hast.

Eigentlich benötigst du aber nur die Zustände q0 und q1. Wechsle deshalb in den LöschModus, indem du den Totenkopf anklickst. Nun kannst du die überflüssigen Zustände q2 und q3 durch Anklicken löschen.

Jetzt fehlen noch die Übergänge. Um diese zu zeichnen, musst du in den Modus Übergänge setzen gehen, indem du den länglichen Pfeil anklickst. Setze einen Übergang von q0 zu q1, indem du den Zustand q0 anklickst und die linke Maustaste gedrückt hältst. Ziehe dann die Maus zum Zustand q1 und lasse erst dann die gedrückte Maustaste wieder