Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Endliche Automaten<br />
ε - Übergänge<br />
Beispiel (Fortsetzung)<br />
start<br />
q 0<br />
0<br />
q1<br />
start<br />
q 0<br />
0<br />
q1<br />
A :<br />
ε<br />
q 2<br />
ε<br />
1<br />
A L :<br />
1<br />
q 2<br />
1<br />
1<br />
A R :<br />
start<br />
start q 0<br />
0<br />
q 1<br />
start q 2<br />
1<br />
1<br />
A B :<br />
start<br />
0, 1<br />
start q 0<br />
q 1<br />
start q 2 1<br />
1<br />
1 1<br />
1<br />
Man beachte, daß A R und A B nicht deterministisch sind, schon allein da<br />
sie mehr als einen Anfangszustand haben.<br />
Es gibt weitere zu A äquivalente NEAs mit den nicht-spontanen<br />
Übergängen aus A , die untersuchen wir aber nicht.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 60 / 191
Change language