Automaten und Zustände

Automaten sind ein besonderes Modell, mit denen man Informatiksysteme beschreiben kann. Dabei wird das Informatiksystem durch eine Grafik beschrieben, in denen die Zustände (durch Kreise) und die Zustandsübergänge (durch Pfeile) dargestellt werden. Die Eingaben, die einen Zustandsübergang auslösen, werden an den jeweiligen Pfeil geschrieben.

Ein Beispiel

Betrachten wir die folgende Glühlampe.

1)https://gifer.com/de/1825

Die Lampe kennt zwei Zustände: „Licht brennt.“, „Licht brennt nicht.“. Eine Zustandsänderung kann man auslösen, indem man den Schalter betätigt. „Den Schalter betätigen.“ ist sozusagen eine Eingabe die eine Zustandsänderung (einen Zustandsübergang) auslöst. Damit ergibt sich die folgende Grafik als Automat:

Aufgabe