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

Endliche Automaten
Regularitätsnachweise
Regularitätsnachweise
Methoden zum Regularitätsnachweis:
Konstruktion von Automaten (εNEA, NEA, (v)DEA);
Konstruktion aus einfacheren regulären Sprachen gemäß der
Abschlußeigenschaften;
Spezialfall: Einschränkung auf einelementige Sprachen aus
einbuchstabigen Wörtern, endliche Vereinigungen und
Konkatenationen, sowie Kleene- Stern (reguläre Ausdrücke);
Kombination der obigen Methoden.
Das Arsenal zur Widerlegung der Regularität ist kleiner:
Anwendung des Pumping Lemmas für reguläre Sprachen
(Kontraposition);
Konstruktion aus einfacheren Sprachen gemäß der Abschlußeigenschaften
für reguläre Sprachen und Nachweis, daß mindestens
eine dieser einfacheren Sprachen nicht regulär ist.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 96 / 191