Reguläre Sprachen

Aus Byte-Welt Wiki


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