Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Grundlagen des Compilerbaus. Sie unterstützt Schülerinnen und Schüler bei der Anwendung von Theorie-Kenntnissen in einem Projektbezogenen Umfeld (Compilerkonstruktion). Das inzwischen etablierte Werkzeug AutoEdit [HW05, Wi06] wurde dafür mit weiteren Softwarekomponenten angereichert, um ein kompaktes System für den Unterricht zu schaffen, das durch abgestimmte Handhabung den Blick auf die eigentlichen Lerninhalte richtet. 1 Einleitung Sowohl an Universitäten und Hochschulen als auch an Gymnasien1 werden Kerninhalte der theoretischen Informatik gelehrt. Die im hessischen Lehrplan festgelegten Inhalte kommen einem Theorie-Grundkurs eines Informatik-Studiums recht nahe, vgl. [Sc92]. Begriffe und Methoden der theoretischen Informatik sind sehr abstrakt und stellen gegenüber eher ingenieurwissenschaftlichen A...