Es sind folgende interaktive Elemente verfügbar:
- Grammatiken
- Definition einer formalen Grammatik
- Linksableitung am Beispiel
- Endliche Automaten
- Formale Beschreibung eines endlichen Automaten
- 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
- 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.
Zu dieser Version des Artikels gibt es keine Kommentare.
LAVA - Willkommen