TheGI 2 (Bachelor)

Theoretische Grundlagen der Informatik 2: Automaten und Komplexität ist eine Pflichtveranstaltung im zweiten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.

Inhalt

• Automaten (DFA; NFA; Untermengenkonstruktion; reguläre Sprachen)
• Kellerautomaten (PDA; DPDA; kontextfreie Sprachen)
• Turing-Maschinen (DTM; NTM; Akzeptierbarkeit)
• Berechenbarkeit ((Un)entscheidbarkeit; entscheidbare Sprachen; Wortproblem; Halteproblem; Reduktion)
• Komplexität (Zeit- und Platzaufwand; Komplexitätsklassen; P vs. NP)

Persönliche Kommentare

Entsprechung in der (alten) StuPO 90: TheGI 1 (StuPO90) (Ja, richtig: Hier gab es eine Drehung).
(Dort findet ihr Klausuren und mehr)