Zustände und Übergänge

Automaten setzen sich aus Zuständen und Übergängen zusammen. Ein Automat befindet sich zu jedem Zeitpunkt in genau einem Zustzand. Eine Übergangsfunktion beshreibt, mit welchem  Zeichen von einem Zustand in einen anderen gewechselt werden kann.

Betrachten wir das vorangegangene Beispiel "Parkscheinautomat":

Folgende Zustäne hat der Automat:

q1: Der Automat erwartet eine Eingabe.

q2: Der Automat hält den eingeworfenen Geldbetrag fest.

q3: Der Automat druckt den Parkschein

Weiterhin besitzt der Automat diese Übergänge:

v1: Eine Münze wird eingeworfen ⇒ Wechsel von q1 zu q2

v2: es werden weiter Münzen eingeworfen ⇒  Der Automat bleibt in q2 und bestimmt die Parkdauer.

v3: Der Schalter "Parkschein drucken" wird gedrückt ⇒ Der Automat wechselt in q3

v4: Der Automat wechselt in q1.