Mit dem Modul Abstrakte Automaten des didaktischen Onlinewerkzeugs FLACI lassen sich im Onli-netool autoedit abstrakte Automaten (deterministische (DEA) und nichtdeterministische endliche Automaten (NEA), Kellerautomaten (DKA, NKA) und deterministische Turingmaschinen (DTM)) einfach und intuitiv erstellen und simulieren. Mittels Übungsgraph erfolgt eine grafische Konstruktion der Automaten und über eine editierbare Übungstabelle können endliche Automaten zusätzlich erstellt und bearbeitet werden. Über beliebige Eingabewörter kann die Arbeitsweise der Automaten simuliert und animiert nachvollzogen werden.

• Klassenstufe: 11–13
• Thematische Bereiche: abstrakte Automaten, deterministische endliche Automaten (DEA), nichtdeterministische endliche Automaten (NEA), Kellerautomaten (DKA, NKA), deterministische Turingmaschinen (DTM), FLACI
• Kompetenzbereiche: Modellieren, Implementieren, Probleme lösen und Handeln
• Methodischer Ansatz: Tool zur Erstellung und Simulation abstrakter Automaten
• Sozialform: Verschiedene Sozialformen möglich