Erkundung - Automaten

Zielsetzung

Viele Automaten, die uns im Alltag begegnen, können als zustandbasierte Systeme beschrieben werden. Mit Eingaben (wie z.B. "Geld einwerfen", "Taste drücken") kann man sie dazu bringen, Ausgaben (wie z.B. eine Ware oder auch gar nichts) zu erzeugen. Die Ausgaben hängen in der Regel von internen Zuständen des Automaten ab.

Im Folgenden sollen solche Automaten - in stark vereinfachter Form - betrachtet werden.