Automatentheorie und Formale Sprachen - Mitschrift - Katoen/24.04.2007

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche
Back.png Zurück zu 19.04.2007 Book.png Hoch zu Inhaltsverzeichnis Forward.png Vor zu 26.04.2007

Wichtige Themen:

  • DEA und NEA sind gleich mächtig: NEA können mit der Potenzmengenkonstruktion auf DEA zurückgeführt werden.
  • Endliche Automaten und reguläre Grammatiken sind gleich mächtig.
  • Konstruktion der Vereinigung von zwei Automaten mit disjunkter Zustandsmenge
  • Konstruktion des Durchschnitts von zwei Automaten
  • Konstruktion des Komplements eines deterministischen Automaten mit kompletter Übergangsfunktion

Temporäre Handschriftversion

Underconstruction.gif An diesem Artikel muss noch gearbeitet werden.
Von „http://wiki.infostudium.de/wiki/Automatentheorie_und_Formale_Sprachen_-_Mitschrift_-_Katoen/24.04.2007“