Berechenbarkeit und Formale Sprachen (BFS)7.5 ECTS
(englische Bezeichnung: Theory of Computation and Formal Languages)
(Prüfungsordnungsmodul: Berechenbarkeit und Formale Sprachen)

Lehrveranstaltungen:

• • Berechenbarkeit und Formale Sprachen
    (Vorlesung, 4 SWS, Rolf Wanka, Di, Fr, 10:15 - 11:45, Zoom-Meeting; Sprechstunde zur benutzten Video-Aufzeichung)
  • Übungen zu Berechenbarkeit und Formale Sprachen
    (Übung, Rolf Wanka et al.)

Inhalt:

• Registermaschinen und Turingmaschinen als Modelle des Berechenbaren, die Churchsche These und unentscheidbare Probleme

• NP-Vollständigkeit und das P-NP-Problem

• Endliche Automaten

• Grammatiken und die Chomsky-Hierarchie

• Kontextfreie Grammatiken und Kontextfreie Sprachen

• Kellerautomaten

Lernziele und Kompetenzen:

Die Studierenden

• erwerben fundierte Kenntnisse über die Grenzen der Berechenbaren, insbesondere lernen sie, wie man beweist, dass bestimmte Aufgaben unlösbar sind bzw. dass sie vermutlich nicht schnell gelöst werden können;

• lernen die wesentlichen Techniken kennen, mit denen man Programmiersprachen beschreiben und syntaktisch korrekte Programme erkennen kann;

• erwerben fundierte Kenntnisse in den Beweis- und Analyse-Methoden der algorithmisch orientierten Theoretischen Informatik

Literatur:

• I. Wegener. Theoretische Informatik. Teubner

• J. Hopcroft, J. Ullman. Introduction to Automata Theory, Languages and Computation

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Informatik (Bachelor of Science): 3. Semester
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | weitere Pflichtmodule | Berechenbarkeit und Formale Sprachen)

Studien-/Prüfungsleistungen:

Berechenbarkeit und Formale Sprachen (Vorlesung mit Übungen) (Prüfungsnummer: 30101)

(englischer Titel: Theory of Computation and Formal Languages)

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: WS 2020/2021, 1. Wdh.: SS 2021

1. Prüfer:

Rolf Wanka

Termin: 31.03.2021, 08:00 Uhr, Ort: BASPH
Termin: 26.07.2021, 08:00 Uhr, Ort: H 7 TechF
Termin: 13.04.2022, 11:00 Uhr, Ort: BASPH
Termin: 08.08.2022

Übungen zu Berechenbarkeit und Formale Sprachen (Prüfungsnummer: 30102)

(englischer Titel: Theory of Computation and Formal Languages (Exercises))

Studienleistung, Übungsleistung, unbenotet

weitere Erläuterungen:
Zum erfolgreichen Absolvieren der Übungsleistung werden gefordert:

• Mindestens 50% der Übungspunkte

• Mind. einmal vorrechnen in der Übungsgruppe

Erstablegung: WS 2020/2021, 1. Wdh.: WS 2021/2022

1. Prüfer:

Rolf Wanka