Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
erste Beispiele
Was macht einen Automaten aus, informelle Idee:
Gerichteter Graph mit endlich vielen Zustände; darunter ausgewählte
Anfangs- und Endzustände;
die Zustandsübergänge (Kanten) werden durch externe Eingaben
gesteuert; diese liefern Label/Markierungen;
die Ausgaben haben die Form ja/nein, je nachdem, ob ein Endzustand
vorliegt oder nicht.
die Label-Folgen entlang derjenigen Wege im Graphen, die einen
Anfangs- mit einem Endzustand verbinden, sind “interessant”.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 15 / 191