Dieses Automaten-Tool ist eine Erweiterung des ISIS-Tools zum Zeichnen von DFAs und NFAs, mit folgenden zusätzlichen Optionen zum Zeichnen von Kellerautomaten und Turingmaschinen:
- Übergangspfeil mit mehreren Übergängen beschriften: Shift + Enter um Zeilenumbruch einzufügen
- Übergang bearbeiten: Zum Bearbeiten, müssten Sie auf den Pfeil klicken, nicht auf den Text.
- Blank Symbol einfügen: Schreiben Sie \blank, um □ einzufügen
- Griechische Buchstaben: Schreiben Sie z.B. \lambda, um λ einzufügen
Hier nochmal die übrige Kurzanleitung zum Erstellen des Automaten:
- Zustand erstellen: Doppelklick
- Zustand in Endzustand oder Nicht-Endzustand ändern: Doppelklick auf Zustand
- Zustand benennen: in Zustand klicken und "z_i" eingeben für Zustand zᵢ
- Startpfeil hinzufügen: Umschalttaste + klicken und auf gewünschten Zustand ziehen
- Übergang hinzufügen: Umschalttaste + auf Zustand klicken und auf Zielzustand ziehen
- Übergang beschriften: auf Pfeil klicken und gewünschten Text eingeben (z.B. 0 oder 1)
- Löschen: auf Pfeil/Zustand klicken und "entf"/"delete"/"backspace"/"fn+delete" klicken