Druckversion vom 18.05.2024 23:46 Uhr
Startseite Qualifikationsphase Theoretische Informatik Automaten Endliche Automaten
Ein Cola-Automat
|
Simulationsprogramm ausprobieren: als BlueJ-Projekt herunterladen.
Die Reaktion des Automaten auf eine Eingabe (Geldstück oder Ziffer/Zeichen) hängt davon ab, was vorher geschah. Man muss also Zustände betrachten, die von der Eingabe verändert werden.
Der Zustand unseres Cola - Automaten spiegelt die Höhe des Geldbetrags wieder, der bereits eingegeben ist: Nichts (Zo) oder 50 ct (Z50) oder 1 Euro (Z100).
Die Eingabe besteht aus einer der beiden Münzen (M50 oder M100) oder dem Drücken des Geldrückgabeknopfes (R).
Die Übergänge zwischen den Zuständen durch Eingabe weiterer Münzen kann man als Übergangsgraph veranschaulichen.
Legende: Der Pfeil von Z0 zu Z50 mit der Kennzeichnung "M50" bedeutet: Bei Eingabe von 50 ct im Zustand Z0 geht der Automat in den Zustand Z50 über.
Bei dem Colaautomat wird auch etwas ausgegeben: Cola oder Rückgeld.
Einen Automaten, der bei jeder Eingabe etwas ausgibt, bezeichnet man als Mealy-Automat. Da dieser Automatentyp im Zentralabitur nicht verlangt wird, behandeln wir ihn in einem Exkurs.
Ein anderes Einführungsbeispiel ist die Schatzsuche. Das Originalmaterial in Englisch finden Sie unter http://csunplugged.org/finite-state-automata/ und eine deutsche Version bei https://troeger.eu/unplugged/3. Die Lösung der Aufgabe führt zu einem Zustandsgraphen wie im obigen Beispiel.