Mealy-Automat
Ein Mealy-Automat ist ein Berechnungsmodell, das das Verhalten von Informatiksystemen modelliert. Ähnlich wie der Endliche Automat besteht auch der Mealy-Automat aus Zuständen und Übergängen. Diese werden typischerweise als Graph dargestellt, wobei die Zustände den Knoten und die Übergänge den Kanten entsprechen.
Jeder Übergang ist dabei mit einer Eingabe und einer Ausgabe versehen, die mit einem Schrägstrich getrennt notiert werden. Die Ausgabe darf dabei leer sein, aber die Eingabe muss immer definiert sein, weil sie den Zustandsübergang erst auslöst.
Rechts abgebildet ist ein Mealy-Automat, der einen einfachen Kaffeeautomaten modelliert. Der Kaffeeautomat funktioniert folgendermaßen: Wenn man zwei Ein-Euro-Münzen einwirft, schenkt er eine Tasse Kaffee
aus. Die einzige Eingabe, die er verarbeitet, ist eine Euro-Münze, die einzige Ausgabe, die er produziert, ist Kaffee
.
Dieser Automat kommt mit zwei Zuständen aus:
- 0 €, falls noch kein Euro eingeworfen oder gerade
Kaffee
ausgegeben wurde - 1 €, falls schon ein Euro eingeworfen wurde und beim nächsten Euro der
Kaffee
ausgegeben werden soll
