Reguläre Sprachen: Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen| Zeile 11: | Zeile 11: | ||
| + | <b>Abgeschlossen bzgl:</b> | ||
<ul> | <ul> | ||
| − | |||
<li><math> \cup\ </math> Vereinigung</li> | <li><math> \cup\ </math> Vereinigung</li> | ||
<li><math> \cap\ </math> Schnitt</li> | <li><math> \cap\ </math> Schnitt</li> | ||
Version vom 25. März 2008, 03:44 Uhr
Reguläre Sprache
Reguläre Sprachen, werden durch reguläre Grammatiken, reguläre Ausdrücke und endliche Automaten (DFA bzw. NFA) erzeugt.
Überführungsfunktion für einen DFA:
<math>L(M) = \{ x_1 ... x_n \in {\Sigma^*} \vert \exists q_1 ... q_{n-1} \in Z , q_n \in E\ : \delta (q_i,x_{i+1}) = q_{i+1} </math> für<math>\ i = 0, ... , n-1 \} </math>
Abgeschlossen bzgl:
- <math> \cup\ </math> Vereinigung
- <math> \cap\ </math> Schnitt
- <math> ^- </math> Komplement
- <math> \circ\ </math> Verknüpfung
- <math> *\ </math> Sternhülle
