Automaten-Synthese

Id: synth.tex,v 1.3 2005/10/19 22:19:55 waldmann Exp

Satz: Zu jedem regulären Ausdruck X gibt es einen $ \epsilon$-Automaten A, so daß L(X) = L(A).

Beweis (Automaten-Synthese) Wir konstruieren zu jedem X ein A mit:

Wir bezeichnen solche A mit s$ \;\stackrel{{X}}{{\to}}\;$f.



Johannes Waldmann 2006-02-02