Diese Methodenkarte stellt das FLACI-Modul "Abstrakte Automaten" mit dem Online-Tool autoedit vor, das es Schülern ermöglicht, deterministische und nichtdeterministische endliche Automaten, Kellerautomaten und Turingmaschinen intuitiv zu erstellen und zu simulieren. Das Material bietet eine Funktionsübersicht, Einsatzmöglichkeiten im Unterricht sowie praktische Tipps zur Integration des Tools in verschiedenen Unterrichtsphasen (Einstieg, Erarbeitung, Übung).