01.01.2015 Aufrufe

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

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.

Outline<br />

Endliche Automaten<br />

Übersicht: Endliche Automaten I<br />

2 Endliche Automaten<br />

Geschichtliches<br />

erste Beispiele<br />

Ziel der Modellierung<br />

Probleme=formale Sprachen<br />

Endliche Automaten über X und die von ihnen erkannten Sprachen<br />

Weitere Beispiele<br />

Erste Automatenkonstruktionen<br />

Determinismus vs. Nichtdeterminismus<br />

Das Pumping-Lemma für reguläre Sprachen<br />

Erste Abschlußeigenschaften regulärer Sprachen<br />

ε-Übergänge<br />

Residuierung<br />

Reguläre Ausdrücke<br />

Minimierung von DEAs<br />

Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 3 / 191

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!