Mealy-Automaten

Die sogenannten Mealy-Automaten können in jedem Schritt außer der Änderung des internen Zustands auch eine Ausgabe erzeugen und erlauben damit die Modellierung z.B. von Getränke-, Fahrkarten- oder ähnlichen Automaten, die wir aus unserer Umwelt kennen.

Als Beispiel soll ein Getränkeautomat dienen, der…

… die Tasten A, C und S hat (für Apfelsaft, Cola und Stop)

… 1EUR- und 2EUR-Münzen annimmt.

Damit ist sein Eingabealphabet Σ = {c, a, s, 1, 2}. Ein passender Übergangs- oder Transitionsgraph sieht folgendermaßen aus:

Der Automat befindet sich immer in genau einem der runden Zustände und beginnt dabei immer im so genannten → Startzustand, der mit einem zusätzlichen Pfeil gekennzeichnet wird (hier q0). Jede Eingabe bewirkt einen Übergang (auch Transition genannt) zu einem anderen Zustand, dargestellt durch einen Pfeil. Bei Mealy-Automaten gehört zu einem Übergang auch eine Ausgabe. Von Startzustand q0 aus wird durch Einwurf von 1€ der Zustand q2 erreicht und die Ausgabe „Guthaben: 1,00“ erzeugt: