Der Einstieg in die Behandlung formaler Sprachen in der 12. Jahrgangsstufe geschieht über reguläre Sprachen und deren Abarbeitung durch endliche, determinstische Automaten. Es folgen Ausblicke auf nichtdeterministische Autoamten sowie Kellerautomaten. Alle betrachteten Automaten sid sogenannte Akzeptoren, d. h. sie arbeiten Eingaben ab und testen, ob sie bestimmten Bedingungen (Sprachen) genügen.
Automaten können aber auch Ausgaben erzeugen. Dabei können die Ausgaben entweder beim Erreichen eines bestimmten Zustand gemacht werden (Moore-Automaten) oder beim Ausführen eines bestimmten Zustandsübergangs (Mealy-Automaten). Kellerautomaten zum Übersetzen von Chomsky-2-Sprachen werden oft als Mealy-Automaten ausgebildet, die bei jedem Zustandsübergang den dazu gehörenden Code ausgeben.
Das hier vorgestellte Programm wurde für die Entwicklung und Ausführung eines endlichen, deterministischen Mealy-Automaten entwickelt. Ursprünglich war es für den Einsatz in der 10. Jahrgangsstufe des Europäischen Gymnasiums Zweig III vorgesehen. Es eignet sich zum Ausblick bei den den Lehrplanpunkten Inf13 Lernbereich 3 eN bzw. Inf13 Lernbereich 1 gN; es kann aber auch als Teilthema eines wissenschasftspropädeutischen Seminars geeigneter Aufgabenstellung verwendet werden.
Das Programm wurde in Java entwickelt und besteht aus einer ausführbaren JAR-Datei. Voraussetzung zum Starten des Programms ist daher unabhängig vom Betriebssystem eine Java-Laufzeitumgebung (Java 1.8.x oder besser).
Eine genaue Beschreibung des Leistungsumfangs und der Bedienung steht im Manual des Programms zur Verfügung.
Folgendes Material kann von dieser Seite geladen werden: