In der Informatik helfen uns Automaten, verschiedene Dinge zu verstehen, z. B. die zugrunde liegenden Prozesse komplexer Systeme, indem sie uns eine viel einfachere, aber abstrakte Darstellung von Zuständen und Übergängen präsentieren. Dies kann entweder eine Graphenstruktur (links) oder eine Übergangstabelle (rechts) sein. Indem wir die Verbindungen zwischen den Zuständen verfolgen, können wir den Automaten durchlaufen. Eine Folge von Übergängen kann als Wort beschrieben werden, und alle möglichen Wörter bilden eine Sprache. Aus Erfahrung wissen wir, dass alle Sprachen ein Alphabet verwenden, und das ist hier nicht anders. Das Alphabet besteht aus allen Zeichen, die einen Übergang im Automaten darstellen. Schließlich hat jeder Automat einen Anfangszustand (q0) und einen Endzustand (q2). Wenn ein Wort dazu führt, dass ein Automat in seinem Endzustand endet, wissen wir, dass das Wort Teil der akzeptierten Sprache ist.

⇒ Umblättern auf Seite 2

Aufgabe:

Das nachstehende Widget stellt Ihnen Werkzeuge zur Verfügung, mit denen Sie verschiedene Arten von Automaten erstellen und simulieren können. Im Moment werden wir uns auf die folgende Übergangstabelle konzentrieren:

Versuchen Sie, das entsprechende Diagramm mit Hilfe des Widgets zu erstellen. Klicken Sie auf das Fragezeichen, um Hilfe dabei zu erhalten. Benutzen Sie anschließend den Simulationsmodus, um die akzeptierten Wörter zu testen.