Reguläre Sprachen: Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
Reguläre Sprachen, werden durch reguläre Grammatiken, reguläre Ausdrücke und endliche Automaten (DFA bzw. NFA) erzeugt. | Reguläre Sprachen, werden durch reguläre Grammatiken, reguläre Ausdrücke und endliche Automaten (DFA bzw. NFA) erzeugt. | ||
<math> T \rightarrow aT </math> Rechtsrekursion, <br/> | |||
<math> T \rightarrow Ta </math> Linksrekursion, <br/> | |||
<math> T \rightarrow a </math> | |||
Überführungsfunktion für einen DFA: <br/> | Überführungsfunktion für einen DFA: <br/> | ||
Version vom 25. März 2008, 12:43 Uhr
Reguläre Sprache
Reguläre Sprachen, werden durch reguläre Grammatiken, reguläre Ausdrücke und endliche Automaten (DFA bzw. NFA) erzeugt.
$ T\rightarrow aT $ Rechtsrekursion,
$ T\rightarrow Ta $ Linksrekursion,
$ T\rightarrow a $
Überführungsfunktion für einen DFA:
$ 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} $ für$ \ i=0,...,n-1\} $
Abgeschlossen bzgl:
- $ \cup \ $ Vereinigung
- $ \cap \ $ Schnitt
- $ ^{-} $ Komplement
- $ \circ \ $ Verknüpfung
- $ *\ $ Sternhülle
