Ereignisdiskrete Systeme, 3rd Edition

Abb. 4.13: Akzeptor für die Sprache 1+01∗

Die Akzeptoren $\mathcal{A}$0 und $\mathcal{A}$1 müssen jetzt entsprechend dem Ausdruck 1+01∗ miteinander verknüpft werden. Abbildung 4.13 zeigt das Ergebnis. Der gesuchte Akzeptor besteht aus zwei Zweigen, von denen der obere dem Teilausdruck „1+“ des gegebenen regulären Ausdrucks entspricht. Wenn sich der Automat entlang dieses Zweiges bewegt, kann er nur ein einzelnes Symbol „1“ akzeptieren.

Damit sich der Automat entlang des unteren Zweiges bewegt, muss die zu verarbeitende Zeichenfolge mit „0“ beginnen. Vom Zustand z30 aus kann der Akzeptor anschließend eine beliebige Anzahl von Symbolen „1“ verarbeiten, bevor er ...