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