Es werden Themen aus der Theoretischen Informatik behandelt, die über das Modul Grundlagen der theoretischen Informatik hinausgehen.

Themen (in Planung)

• Alternative Berechnungsmodelle
  • rekursive Funktionen
  • primitiv-rekursive Funktionen, LOOP-Berechenbarkeit
  • Zählerautomaten
  • Tag-Systeme
  • RAM-Modell
• Universelle Turingmaschinen
• Fleißige Biber
• Probabilistische endliche Automaten
• Kontextfreie Sprachen
• deterministische Zweiwege Kellerautomaten, und das Teilwortproblem
• Unentscheidbare Probleme in anderen Gebieten
• Lernen regulärer Sprachen