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 />
Die naive Lösung des Konkatenationsproblems ist klar: um L · M<br />
akzeptieren zu können, wählt man Automaten A bzw. B mit L(A) = L<br />
und L(B) = M . Dann verbindet man alle Endzustände in A mit allen<br />
Anfangszuständen in B .<br />
Problem: Welche Label sollen diese neuen Übergänge haben Bei<br />
Berechnungen dürfen hier keine Eingabesymbole verbraucht werden.<br />
Versuch der Lösung: Die Labelmenge um das leere Wort ergänzen, also<br />
X 0 + X 1 = {ε} + X =: X ε zulassen.<br />
Problem 0: Kann man diese neuen Label später wieder eliminieren<br />
Problem 1: Was ist nun der korrekte Determinismus-Begriff<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 52 / 191
Change language