Suche Home Einstellungen Anmelden Hilfe

Das neue Kerncurriculum für Berlin, Brandenburg und Mecklenburg-Vorpommern sieht eine zustandsorientierte Modellierung für den Grund- und Leistungskurs vor. Die Inhalte werden häufig auch unter dem Begriff ,,theoretische Informatik'' abgehandelt.

Im Grundkurs geht es in erster Linie um das Übertragen realer Automaten in ein formales Softwaremodell. Dabei benutzt man Zustände, um die zeitliche Abfolge von Abläufen zu beschreiben. Im Leistungskurs kommt u.a. eine einführende Betrachtung in formale Sprachen und deren Grammatiken hinzu.

In diesem Workshop werden unterschiedliche unterrichtliche Ansätze zur Modellierung endlicher Automaten vorgestellt. Dabei soll zunächst in aller Kürze das Konzept endlicher Automaten erläutert werden. An ausgewählten Beispielen können die Teilnehmer auch eigene praktische Umsetzungen erproben. (mögliche  Sprachen: Automaten-Applets, Automaten-Kara, Java, Haskell)

Exemplarisch wird an Beispielen aufgezeigt, wie (reguläre) formale Sprachen mit Hilfe endlicher Automaten beschrieben werden können. Bei Bedarf können auch Klausur- und Abituraufgaben vorgestellt und diskutiert werden.

Benutzer: Gast • Besitzer: rarom • Zuletzt geändert am: