Das JFlap Tool ist ein Java Programm, das an der Duke University unter Susan Rodgers erstellt wurde.
Es dient zur Visualisierung und zum selbständigen Erstellen von Automaten.
Es läuft als eigenständiges Programm. Eine eingeschränktere Version ist jedoch als Applet ausführbar.
Zunächst erstellt man einen Automaten.
Die Arbeitsweise des Automaten kann anschließend durch die Eingabe von Strings überprüft werden.
Erstellen des Automaten:
- Einfügen von Zuständen: ([Shift]+[Rechte Maustaste]) oder mittlere Maustaste.
Durch [Shift]+[Linke Maustaste] auf einen Zustand kann dieser verschoben werden.
- Einfügen von Übergängen: [Linke Maustaste] in einem Zustand drücken, die Kante in den gewünschten Folgezustand ziehen und dort Maustaste loslassen.
Für eine Schleife zurück in den Ausgangszustand diesen kurz mit [Linke Maustaste] anclicken.
Das Label der Kante ist danach rot aktiviert (Ein [Linke Maustaste]-Click aktiviert es aufs Neue).
Nun können die Übergangsbedingungen eingetragen werden:
- TM: (Eingabesymbol, Ausgabesymbol, Bewegungsrichtung aus {L,R})
- KA: (Eingabesymbol, Kellersymbol, neuesKellersymbol)
- EA: (Eingabesymbol)
Für epsilon die Eingabe einfach leer lassen.
- Mit [Rechte Maustaste] wird ein Kontextmenu zu folgender Auswahl aktiviert: Zustand/Übergang löschen, Startzustand ändern,
Endzustand festlegen.
Testen
- Input eingeben
- Evtl. Akzeptiermodus festlegen.
- Analyseverfahren starten (fast run, step run)
Bilden Sie einen Automaten und testen Sie ihn.
Nutzen sie das Programm auch zur Lösung der Übungsaufgaben.
|
Programm runterladen
|
Benutzer: Gast
Besitzer: senn Zuletzt geändert am:
|
|
|