Automaten und Berechenbarkeit
Einführung
Dieses Thema untersucht, welche Probleme Maschinen grundsätzlich lösen können und wo ihre Grenzen liegen. Es geht also nicht nur um konkrete Programme, sondern um die Frage, was Berechnung überhaupt bedeutet.Anhand von Automatenmodellen und theoretischen Konzepten lernen Schülerinnen und Schüler, Probleme formal zu beschreiben. Dadurch wird deutlich, warum manche Aufgaben gut berechenbar sind und andere grundsätzlich schwierig bleiben.
Begriffe
- endlicher Automat
- Zustand
- Übergang
- Turingmaschine
- Entscheidbarkeit