Kaffee-Automat "Pott-1"

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

Was sind das für Zustände?

Wir untersuchen nun die Frage:
Welche Eingabe veranlasst den Automaten zu welcher Ausgabe? Nach kurzer Überlegung wird klar, dass wir auch den momentanen Zustand
des Automaten berücksichtigen müssen!

Ist Pott-1 im Zustand "Ich habe 100 Cent", so führt die Eingabe von 50 Cent zur Ausgabe von KAFFEE.

Befindet sich Pott-1 hingegen im Zustand "Ich habe 50 Cent", so führt die gleiche Eingabe zur Ausgabe von NICHTS.