Zustand verschieben: ziehen · Übergang anlegen: vom kleinen Punkt am Rand eines Zustands auf den Zielzustand ziehen (auch auf sich selbst) · antippen = bearbeiten · Ringpfeil gilt automatisch, wenn keine Bedingung passt.
Vereinbarungen
Auswahl
Tippe einen Zustand oder Übergang an.
Prüfung des Modells
Codierung
Übergangs-, Ausgangs- und Ansteuertabelle
Schaltwerk: Gatter + Flipflops (läuft mit dem Automatenband)