Mit der Vorstellung der Simulationssoftware AtoCC (insbesondere AutoEdit und kfGEdit) soll ein Eindruck gewonnen werden, was AtoCC auf der Modellierungsebene im Bereich Sprachen und Automaten in der Qualifikationsphase leisten kann.

Dabei werden wir insbesondere mit den Teilen AutoEdit und kfGEdit arbeiten, Bergriffe klären, einfache Automaten (NEA und DEA) umsetzen und den Zusammenhang zum Grammatikmodul aufzeigen. Umsteiger von anderer Simulationssoftware zu Automaten können ihre mitgebrachten Beispiele in AtoCC ausprobieren und direkt vergleichen. Anschließend kommen wir in eine Diskussion zum möglichen unterrichtlichen Einsatz dieser Software.

Bitte installieren Sie die Software AtoCC (www.atocc.de, unter Downloads AtoCC 1.32) auf ihrem Laptop.