20.07.2013 Aufrufe

Folien

Folien

Folien

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

2.27 Satz<br />

Für jede formale Sprache L sind die folgenden beiden Aussagen<br />

äquivalent:<br />

◮ L kann von einem endlichen Akzeptor erkannt werden.<br />

◮ L kann durch einen regulären Ausdruck beschrieben werden.<br />

Die eine Hälfte beweisen wir gleich, die andere später.<br />

Reguläre Ausdrücke 42/124

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!