Es sind folgende interaktive Elemente verfügbar: 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 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 Die Elemente wurden im Rahmen des Projektes LAVA (Lernangebote zur Verringerung der Abbrecherquote) entwickelt.