威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

Einführung in die Theoretische Informatik

Studieng?nge

  • Bachelorstudieng?nge mit Hauptfach Informatik:?Informatik, 威尼斯赌博游戏_威尼斯赌博app-【官网】izinische Informatik, Wirtschaftsinformatik (Vertiefung Informatik)
  • Alle Bachelorstudieng?nge mit Nebenfach Informatik (u.a. Mathematik, Physik, Geographie, Betriebswirtschaftlehre, Wirtschaftsmathematik)

Teilnahme

Anmeldung ab M?rz im Digicampus.
?

?bersicht
Veranstaltungsart: Vorlesung + ?bung (Bachelor)
Credits: 4V + 2?, 8 LP
Turnus: Jedes Sommersemester
Empfohlenes Semester:
2. Fachsemester
Prüfung:?Klausur (120 Minuten)
Sprache: Deutsch

Inhalt

Ziel der Vorlesung ist eine Einführung in formale Sprachen und Automaten. Themenauswahl:

  1. Endliche Autaten und regul?re Sprachen
    • DFA, NFA, regul?re Ausdrücke, Pumping-Lemma, Abschlusseigenschaften, Nerode-Automat
  2. Kellerautomaten und kontextfreie Sprachen
    • CFG (Normalformen, Syntaxbaum, Pumping-Lemma, Ein- und Mehrdeutigkeit), PDA (Odgens Lemma), Abschlusseigenschaften, deterministisch kontextfreie Sprachen
  3. Turingmaschinen und Berechenbarkeit
    • Churchsche These, Turingmaschinen (nichtdeterministisch, Mehrband), Random Access Machines, mu-rekursive Funktionen, (Semi-)Entscheidbarkeit, Wortproblem, Halteproblem, Leerheitsproblem, Satz von Rice, Postsches Korrespondenzproblem, Reduktion
  4. Chomsky-Hierarchie
    • Uneingeschr?nkte Grammatiken, Kontextsensitive Sprachen, Linear beschr?nkte Turingmaschinen

Suche