Kaffee-Automat "Pott-1"

Ausgehend von einem realen Automaten wollen wir einen kurzen Einblick in das Thema endliche Automaten der theoretischen Informatik geben.

Automatenmodell Pott-1

Pott-1 ist ein endlicher Automat: EA
die Menge der Eingaben, Ausgaben und Zustände ist jeweisl endlich

Pott-1 ist ein deterministischer, endlicher Automat: DEA
er wechselt nach einer gültigen Eingabe von einem Zustand, in dem er sich gerade befindet, immer in einen eindeutig bestimmten Folgezustand

Was wissen wir alles über Pott-1:

Eingabe: 1-Euro-Münze oder 50-Cent-Münze
Eingabealphabet= E{1 | 50}
Ausgabe: Kaffee oder kein Kaffee
Ausgabealphabet: A={Kaffee | nichts}
Innere Zustände:
z0 (kein Geld) z1 (50 Cent) z2 (1 €)

Nun müssen noch Übergangsfunktionen beschrieben werden, die unter Beachtung des momentanen Zustands und der Eingabe => den Folgezustand und die mögliche Ausgabe realisieren.