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 Endliche Automaten über X und die von ihnen erkannten Sprachen<br />
Jeder Berechnungsschritt ⊢ “verbraucht” einen Buchstaben, also hat jede<br />
Berechnung von w die Länge |w| .<br />
Beispiel (Fortsetzung)<br />
0<br />
Vermutung<br />
start<br />
q 0<br />
0, 1<br />
L(A) besteht aus allen Binärwörtern<br />
mit dem Postfix 10 .<br />
1<br />
1<br />
q 2<br />
q 1<br />
0<br />
1<br />
Begründung<br />
q 2 ist nur von q 1 aus mit Eingabe<br />
0 erreichbar.<br />
q 1 ist nur mit der Eingabe 1<br />
erreichbar, und zwar von allen drei<br />
Zuständen aus.<br />
Jedes Binärwort führt vom<br />
Anfangszustand aus zu einem der<br />
drei Zustände, denn man kann<br />
nicht “steckenbleiben”.<br />
Kann man dieses Ergebnis auch erhalten, ohne nachzudenken<br />
Ja, mit Hilfe des Kleene’schen Algorithmus (in Kürze)!<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 27 / 191
Change language