Qualifikationsphase Q3 · Überblick
Q3 · Konzepte und Anwendungen der theoretischen Informatik
Allgemeine Überblicksseite über das KurshalbjahrDie theoretische Informatik untersucht, was Computer grundsätzlich leisten können – und wo ihre Grenzen liegen. Im Mittelpunkt stehen Automaten, formale Sprachen, Grammatiken, Berechenbarkeit und die Frage, wann Probleme zwar lösbar, aber praktisch zu aufwendig sind.
In Q3 werden abstrakte Modelle genutzt, um reale Informatiksysteme besser zu verstehen: Formale Sprachen und Grammatiken beschreiben gültige Eingaben, endliche Automaten modellieren zustandsbasierte Abläufe, Kellerautomaten erweitern Automaten um Speicher, Turingmaschinen strukturieren den allgemeinen Berechenbarkeitsbegriff und Registermaschinen liefern ein maschinennahes Berechnungsmodell mit Effizienzperspektive.
Themenbereiche in Q3
Q3.1 · Formale Sprachen und Grammatiken
Sprache formal beschreiben, Wörter ableiten und Grammatikregeln systematisch einsetzen.
Q3.2 · Endliche Automaten
Zustandsbasierte Systeme modellieren, reguläre Sprachen erkennen und Grenzen endlicher Automaten untersuchen.
Q3.3 · Kellerautomat
Automaten mit Kellerspeicher als Modell für geschachtelte und kontextfreie Strukturen verstehen.
Q3.4 · Turingmaschine
Turingmaschine als allgemeines Berechnungsmodell für Berechenbarkeit und Entscheidbarkeit einordnen.
Q3.5 · Registermaschine
Ein maschinennahes Berechnungsmodell mit Registern, Akkumulator und Laufzeitperspektive untersuchen.
Hinweis: Die bisherige Seite Q3.6 (P-NP-Problematik) bleibt als Legacy-/Archivinhalt erhalten, wird aber nicht mehr als reguläres Themenfeld im aktiven Q3-Lernpfad geführt.
Begriffsnetz · Q3
Das Kapitelnetz zeigt die relevanten Begriffe aus Q3 (theoretische Informatik) inklusive didaktisch sinnvoller Brückenbegriffe.