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 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.

Vom Startzustand q0 aus wird durch Einwurf von 1€ der Zustand q2 erreicht und die Ausgabe Guthaben: 1,00 erzeugt.