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.