Konzepte der theoretischen Informatik

Kursthemen

• 

  Werkzeuge

  • AtoCC mit AutoEdit und kfG-Edit Link/URL
  • JFLAP Link/URL
  • FLACI mit AutoEdit-Online Link/URL
  • Kara – Programmieren mit endlichen Automaten Link/URL
  • Turing-Kara Link/URL
• 

  Lehrbücher

  • Schöningh: Informatik 2, Kapitel 4 Link/URL
  • Oldenbourg: Informatik Oberstufe 2, Kapitel 1, 4 Link/URL
  • Klett: Informatik 5, Kapitel 1, 5 Link/URL
  • Zustandsautomaten/Endliche Automaten - Ergänzung zu Elke Preckel: Praktische Informatik: Objektorientierte Programmierung mit Java, Cornelsen, 2012. Link/URL
  • Formale Sprachen, speziell: Chomsky-Grammatik - Ergänzung zu Elke Preckel: Praktische Informatik: Objektorientierte Programmierung mit Java, Cornelsen, 2012. Link/URL
• 

  Materialien aus Fortbildungen

  • Folien zur Fortbildung am 15.3.2022 Datei
  • 1_Kleeblatt.kara (Kara Endlicher Automat) Datei
  • 2_Kunstautomat.xml (AtoCC Autoedit) Datei
  • 3_mod3.jff (JFLAP) Datei
  • 4_DEA_anbn_Vorgabe.xml (Autoedit) Datei
  • 5_DKA_anbn.xml (Autoedit) Datei
  • 6_NKA_Palindrom_allgemein.xml (Autoedit) Datei
  • 7_TM_Nachfolger_binär (Autoedit) Datei
  • Beispiel für eine UN-Resolution Datei
  • Aufgaben für den Grundkurs Datei
  • Aufgaben für den Leistungskurs Datei
  • ILTiS 2017: Endliche Automaten und die Schatzinsel (Kennwort: 3.ILTiS_2017imIEF) Link/URL
• 

  Literatur und Anregungen

  • Inf-Schule: Sprachen und Automaten Link/URL
  • Inf-Schule: Halteproblem und Turingmaschine Link/URL
  • Material Offener Unterricht Sek. II, Sprachen und Automaten Teil01 Datei
  • Material Offener Unterricht Sek. II, Sprachen und Automaten Teil02 Datei
  • Material Offener Unterricht Sek. II, Sprachen und Automaten Teil03 Datei
  • Material Fortbildung 2012 Datei
  • Anregungen für Projekte Verzeichnis