Theoretische Informatik und Logik · Algorithms & Programming

Endliche Automaten und Formale Sprachen

Modellierung von Systemzuständen und Erkennung von regulären Sprachen.

Leitfragen

  1. 1Wie lässt sich das Verhalten eines technischen Geräts als Zustandsübergangsdiagramm beschreiben?
  2. 2Wo liegen die Grenzen dessen, was ein endlicher Automat erkennen kann?
  3. 3Wie hängen Programmiersprachen und formale Grammatiken zusammen?

KMK Bildungsstandards

KMK: Sekundarstufe II - Modellieren und ImplementierenKMK: Sekundarstufe II - Darstellen und Interpretieren
Klasse: Klasse 12
Fach: Informatik Oberstufe: Von Algorithmen zur vernetzten Gesellschaft
Einheit: Theoretische Informatik und Logik
Zeitraum: Algorithms & Programming

Vorgeschlagene Methoden

Bereit, dieses Thema zu unterrichten?

Erstellen Sie in Sekundenschnelle eine vollständige, unterrichtsfertige Mission für aktives Lernen.

Eigene Mission generierenUnterrichtsvorlagen durchsuchen

Mehr in Theoretische Informatik und Logik

Berechenbarkeit und das Halteproblem

Untersuchung der Turing-Maschine und der Frage, was Computer prinzipiell nicht lösen können.

2 methodologies

Lehrpläne nach Land durchsuchen

AmerikaUSCAMXCLCOBR
EuropaUKIEFRDEESITNLPTSE
Asien & PazifikINSGAU