Kaffee-Automat "Pott-1"

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

Was kann Pott-1?

pottUnser Kaffee-Automat verkauft nur einen Artikel: "1 Pott Kaffee, schwarz, ungesüßt für 1,50 €"
Der Automat akzeptiert nur 1€- und 50Cent-Münzen. Andere Münzen und Eingaben werden einbehalten und als "Falschgeld" behandelt.
Sobald der Betrag von 1,50€ (mit gültigen Münzen) erreicht wird, kann der Kaffee in Strömen fließen. Vorher sollte der Pott druntergestellt werden.