Formale Systeme

• Grammatiken
  • Definition einer formalen Grammatik
  • Linksableitung am Beispiel
• Endliche Automaten
  • Formale Beschreibung eines endlichen Automaten
• NEA
  • Quintupel eines NEA
• DEA
  • Quintupel eines DEA
  • DEA am Beispiel eines Cola-Automaten (Teil 1)
  • DEA am Beispiel eines Cola-Automaten (Teil 2)
  • Akzeptor am Beispiel eines Lachautomaten
• Pumping-Lemma
  • Simulation zum Pumping-Lemma
• Reguläre Ausdrücke und Sprachen
  • Zeichensuche
• Kontextfreie Sprachen
  • Beispiel zur Chomsky-Normalform
  • Der CYK-Algorithmus
• Kellerautomaten
  • Formale Beschreibung des Kellerautomaten
  • Arbeitsprozess eines Kellerautomaten am Beispiel
  • Funktionsweise eines Kellerautomaten
• Turingmaschinen
  • Formale Beschreibung der Turingmaschine
  • Arbeitsprozess einer Turingmaschine am Beispiel
  • Terminierung einer Turingmaschine
• Aussagenlogik
  • Beispiel einer Wahrheitstafel
  • Beispiel für die Transformation einer Formel in Klauselform
  • Beispiel für das Resolutionsverfahren
  • Beleg der Erfüllbarkeit mittels Resolutionsverfahren