Doppelt tippen oder klicken auf eine freie Stelle legt einen Zustand an. Zustände lassen sich verschieben. Für einen Übergang ziehen Sie vom Rand eines Zustands zu einem anderen (oder schalten „Übergänge ziehen“ ein). Antippen wählt einen Zustand oder Übergang zum Bearbeiten aus.
Prüfung
Wort simulieren
Mehrere Wörter auf einmal
Welche Wörter landen in welchem Zustand?
Alle Wörter bis zur Länge , gruppiert nach dem Zustand δ*(q0, w). Wörter in derselben Gruppe verhalten sich für den Automaten gleich: Jede Fortsetzung z führt sie gemeinsam in F oder gemeinsam nicht.
Warum verschieden?