Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
faecher:informatik:oberstufe:automaten:lepro:erstellung:start [22.09.2020 17:16] – sbel | faecher:informatik:oberstufe:automaten:lepro:erstellung:start [Unbekanntes Datum] (aktuell) – gelöscht - Externe Bearbeitung (Unbekanntes Datum) 127.0.0.1 | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== 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, '' | ||
- | |||
- | 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, | ||
- | |||
- | {{ : | ||
- | |||
- | 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, | ||
- | 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 los. Es erscheint ein Eingabefeld. Klicke dieses an, schreibe eine 0 hinein und drücke | ||
- | Enter. | ||
- | |||
- | Damit ist dein Übergang gesetzt. Setze analog auch noch den zweiten Übergang. | ||
- | Falls du irrtümlich einen falschen Übergang setzt, kannst du diesen auch löschen, indem | ||
- | du in den Lösch-Modus wechselst und den entsprechenden Übergang anklickst. | ||
- | |||
- | Möchtest du einen Übergang von einem Zustand zu einem anderen, der mit mehreren | ||
- | Symbolen beschriftet ist, machen, kannst du einfach mehrere Übergänge zwischen den | ||
- | beiden Zuständen erzeugen und jeden dieser Übergänge mit einem Symbol beschriften. | ||
- | Nun kannst du den Automaten noch etwas mehr in die Mitte verschieben. Wechsle dazu | ||
- | in den Modus normal. Nun kannst du die Zustände anklicken, und während du die Maus- | ||
- | taste gedrückt hältst, verschieben. | ||
- | |||
- | Dieser Modus hat noch eine weitere Eigenschaft: | ||
- | |||
- | Außerdem kannst du in dem Modus normal festlegen, dass q0 dein Anfangszustand sein | ||
- | soll. Klicke dazu mit der rechten Maustaste auf q0. Es erscheint ein Menü. Wähle Initial | ||
- | (deutsch: Anfangs-) aus. Auf q0 zeigt jetzt ein großer Pfeil. Analog klickst du nun mit der | ||
- | rechten Maustaste auf q2 und markierst diesen als Endzustand, indem du im Menü auf | ||
- | Final (deutsch: End-) klickst. | ||
- | Schon ist dein erster Automat mit JFLAP fertig und kann getestet werden. |