Konzepte der theoretischen Informatik an der AHS: endliche Automaten und Turingmaschinen mit Hilfe von "Brainfuck" verstehen lernen

Themenprogramm: Informatik kreativ unterrichten

Mit diesem Projekt soll gezeigt werden, dass man Elemente der theoretischen Informatik so in den Informatikunterricht einfließen lassen kann, dass die Jugendlichen erkennen, dass diese Theorie auch jenseits des Einsatzes von Computern relevant ist. Es sollen den Jugendlichen abstrakte Konzepte der Informatik nachvollziehbar veranschaulicht werden, insbesondere endliche Automaten und Turingmaschinen. Als Einstiegswerkzeug für das Verständnis von Turingmaschinen wird die Lernumgebung „TuringKara“, eine an Turingmaschinen angepasste Version des Klassikers „Kara“ verwendet. Mit TuringKara lassen sich auf anschauliche Weise die typischen Aufgaben rund um Turing-Maschinen wie Grundrechenarten oder Mustererkennung illustrieren. Anschließend werden komplexere Programme mit der esoterischen Programmiersprache Brainfuck (BF) implementiert. BF ist zwar für die Erstellung umfangreicher Software zu ineffizient, durch die Turing-Vollständigkeit aber gut geeignet, um wichtige Grundlagen der Programmierung zu erlernen. Besonders praktisch für den Einsatz im Unterricht ist die Tatsache, dass BF-Programme stark der formalen Definition einer Turingmaschine ähneln.


Autor
Mag. Stefan Otti
Durchführende Institution
Bundesgymnasium und Bundesrealgymnasium (202016)
Fach
Informatik
Schulart
AHS
Schulstufen
11. Schulstufe
Berichte
Kurzfassung Langfassung
Weitere Anhänge

IMST-Wiki-Kategorien