info:sek-ii:q3:automaten:l2-endliche-automaten-und-regulaere-sprachen
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
info:sek-ii:q3:automaten:l2-endliche-automaten-und-regulaere-sprachen [2024-10-30 21:53] – yannik.wehr | info:sek-ii:q3:automaten:l2-endliche-automaten-und-regulaere-sprachen [2024-11-01 15:34] (aktuell) – [BetterBox#3] yannik.wehr | ||
---|---|---|---|
Zeile 22: | Zeile 22: | ||
... | ... | ||
</ | </ | ||
- | Binärzahlen sind Wörter über dem Alphabet $\Sigma = {0, 1}$. Die Sprache der Binärzahlen | + | Binärzahlen sind Wörter über dem Alphabet $\Sigma = {0, 1}$. Die Sprache der Binärzahlen |
$L_{Bin} = {0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}$ | $L_{Bin} = {0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}$ | ||
Zeile 94: | Zeile 94: | ||
< | < | ||
<info w1|**Keine Eindeutigkeit**> | <info w1|**Keine Eindeutigkeit**> | ||
- | Der folgende Automat zur Erkennung der Sprache $L_{Bin} = {0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}$ ist nichtdeterminstisch in dem Sinne, dass er zulässt, dass von einem Zustand bei derselben Eingabe Übergänge in unterschiedliche Folgezustände möglich sind. | + | Der folgende Automat zur Erkennung der Sprache $L_{Bin} = {0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}$ ist nichtdeterminstisch in dem Sinne, dass er zulässt, dass von einem Zustand bei derselben Eingabe Übergänge in unterschiedliche Folgezustände möglich sind. Zudem enthält der Automat Zustandsübergänge ohne Eingaben (sog. $\epsilon$-Übergänge). |
+ | [[https:// | ||
</ | </ | ||
+ | |||
+ | <info w1|**Spracherkennung mit nichtdeterministischen Automaten**> | ||
+ | Spracherkennung mit nichtdeterministischen Automaten funktioniert so ähnlich wie Spracherkennung mit deterministischen Automaten. | ||
+ | |||
+ | Wenn man mit FLACI z.B. das Wort $1001$ eingibt, dann lässt sich die nichtdeterministische Verarbeitung des Eingabewortes anschließend Schrittweise beobachten. FLACI spielt hier alle möglichen Zustandsübergänge durch und zeigt an, welche Zustände erreicht werden. | ||
+ | </ | ||
+ | |||
+ | <info w1|**Zusammenhang zwischen deterministischen und nichtdeterministischen Automaten**> | ||
+ | FLACI bietet die Möglichkeit an, aus einem nichtdeterministischen Automaten einen deterministischen Automaten zu konstruieren. Hierzu muss man den Menüpunkt konvertieren -> NEA in DEA auswählen und den deterministischen Automaten dann generieren. | ||
+ | </ | ||
+ | <aufgabe w1|**Aufgabe 5**> | ||
+ | Probiere das selbst einmal aus. Welches Konzept kann mehr Sprachen abbilden, ist also mächtiger - das Konzept deterministischer Automat oder das Konzept nichtdeterministischer Automat? | ||
+ | </ | ||
</ | </ | ||
+ | |||
+ | ===== Vom regulären Ausdruck zum Automaten ===== | ||
+ | |||
+ | < | ||
+ | <info w1|**Verarbeitung eines regulären Ausdrucks für Binärzahlen**> | ||
+ | Reguläre Ausdrücke dienen dazu, Sprachen zu beschreiben. So lässt sich die Sprache $L_{Bin} = {0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}$ mit Hilfe des folgenden regulären Ausdruckes beschreiben: | ||
+ | |||
+ | |||
+ | </ | ||
+ | |||
+ | </ | ||
+ | |||
+ | ===== Vom Automaten zum regulären Ausdruck ===== | ||
+ | |||
+ | < | ||
+ | <info w1|**Verfahren - Endlichen Automaten -> regulärer Ausdruck**> | ||
+ | |||
+ | < | ||
+ | <bbox w1|**Schritt 1: Neuer Start- und Endzustand**> | ||
+ | Im ersten Schritt werten Start- und Endzustände mit $\varepsilon$-Übergängen ergänzt. | ||
+ | </ | ||
+ | <bbox w2> | ||
+ | {{ : | ||
+ | </ | ||
+ | <bbox w2> | ||
+ | {{ : | ||
+ | </ | ||
+ | |||
+ | <bbox w1|**Schritt 2**> | ||
+ | Nun werden die Zustände nacheinander entfernt und dabei die Übergänge zusammengeführt. | ||
+ | </ | ||
+ | |||
+ | <bbox w4> | ||
+ | {{ : | ||
+ | </ | ||
+ | <bbox w4> | ||
+ | |||
+ | {{ : | ||
+ | </ | ||
+ | <bbox w4> | ||
+ | {{ : | ||
+ | </ | ||
+ | <bbox w4> | ||
+ | {{ : | ||
+ | </ | ||
+ | </ | ||
+ | |||
+ | </ | ||
+ | |||
+ | <aufgabe w1|**Aufgabe 6**> | ||
+ | Welcher Zusammenhang besteht zwischen regulären Ausdrücken und erkennenden Automaten? | ||
+ | </ | ||
+ | </ | ||
+ | |||
+ | |||
+ | [[https:// |
info/sek-ii/q3/automaten/l2-endliche-automaten-und-regulaere-sprachen.1730321607.txt.gz · Zuletzt geändert: 2024-10-30 21:53 von yannik.wehr