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.