<?xml version="1.0" encoding="ISO-8859-1" standalone="yes" ?>
<document>
<title>Theoretische Informatik</title>
<cid>KIB-TI</cid>
<sapsubmodule>P222-0044</sapsubmodule>
<bkey>ki3</bkey>
<ctypes>
<hours>4</hours>
<type>V</type>
</ctypes>
<cp>5</cp>
<semester>4</semester>
<mandatory>ja</mandatory>
<language>Deutsch</language>
<exam>Klausur, Dauer 90 min.</exam>
<curriculum>
<curriculum_entry>
<cid>KIB-TI</cid>
<branch>Kommunikationsinformatik</branch>
<semester>4</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>KIB-TI</cid>
<branch>Kommunikationsinformatik</branch>
<semester>4</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>PIB-TI</cid>
<branch>Praktische Informatik</branch>
<semester>4</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>PIB-TI</cid>
<branch>Praktische Informatik</branch>
<semester>4</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>TIB-TI</cid>
<branch>Technische Informatik</branch>
<semester>4</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
</curriculum>
<workload>
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 5 Creditpoints 150 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung.
</workload>
<prerequisites>
</prerequisites>
<prerequisitesfor>
</prerequisitesfor>
<convenor>Prof. Dr. Maximilian Altmeyer</convenor>
<convenor-person-key>mat</convenor-person-key>
<lecturers>
<lecturer>Prof. Dr. Maximilian Altmeyer</lecturer>
<lecturer-person-key>mat</lecturer-person-key>
</lecturers>
<objectives>Nach Abschluss der Veranstaltung können Studierende die grundlegenden Begriffe und Konzepte der theoretischen Informatik beschreiben. Sie können Eigenschaften von Automaten und Sprachen diskutieren, mit geeigneten Methoden beweisen (z.B. Pumping-Lemma) und bei praktischen Aufgabenstellungen die geeigneten theoretischen Konzepte (z.B. endlicher Automat, Kellerautomat, Turingmaschine) auswählen und anwenden.
</objectives>
<content>Mathematische Grundlagen
Reguläre Sprachen
Endliche Automaten
Nichtdeterminismus
Reguläre Ausdrücke und Sprachen
Minimalautomat
Pumping-Lemma für reguläre Sprachen
Kontextfreie Sprachen
Kontextfreie Grammatiken
Normalformen
Pumping-Lemma für kontextfreie Sprachen
CYK Algorithmus
Kellerautomaten
Turingmaschinen und Varianten
Entscheidbarkeit
Halteproblem</content>
<media>Tafel, Skript, Simulationssoftware</media>
<literature>HOPCROFT J.E., ULLMANN J.D., MOTWANI R., Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson, 2002
SIPSER Michael: Introduction to the theory of computation, Course Technology, 3rd edition, 2012</literature>
<offered>
<semshort>WS 2024/25</semshort>
<semshort>WS 2023/24</semshort>
</offered>
<moduldb-query>Thu Apr 16 19:50:00 CEST 2026, CKEY=kti, BKEY=ki3, CID=[?], LANGUAGE=de, DATE=16.04.2026</moduldb-query>
</document>
