Module Import 04IN2041 - Advanced Automata Theory

Status: (discontinued) Published
Workload6 ECTS = 180 hrs
Credits, Weight6 ECTS, (n.s.)
Language of Instruction German or English
Semester (n.s.)
Duration1 Sem.
M/E Elective
Courses
Course No. Type Name MA/EL Workload Credits Contact Hours Selfstudy Group Size
04IN2041-1 Lecture Advanced Automata Theory (n.s.) 3 ECTS = 90 hrs - 2 hrs/week = 30 hrs 60 hrs (n.s.)
Learning Outcomes

Verständnis des Umgangs mit unendlich langen Wörtern in endlichen Automaten

Zusammenhang von solchen Omega-Automaten mit Logiken und Fragen der Entscheidbakeit und des Modellchecking

Content

(not specified)

04IN2041-1 - Advanced Automata Theory
  • Omega-reguläre Sprachen und Büchi- und Muller-Automaten
  • Der Hauptsatz von Büchi-McNaughton
  • Kongruenzen auf Omega-Sprachen
  • Das Komplement eine Büchi-Automaten
  • Entscheidbarleit der S1S
  • Topologische Eigenschaften und Borel-Hierarchie
Teaching Methods

(not specified)

Prerequisites

Grundkenntnisse in theoretischer Informatik

Examination Methods

je nach Teilnehmerzahl: Klausur oder mündliche Prüfung

Credit Requirements

(not specified)

References

(not specified)

04IN2041-1 - Advanced Automata Theory

J.-E. Pin, D. Perrin: Automata and infinite words

W. Thomas: Automata on infinite words

Priese: Jewels in Theory, Skript im Internet

Use of this Module
  1. modified as Elective  -    BSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Advanced Automata Theory
  2. modified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Advanced Automata Theory
  3. modified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Advanced Automata Theory
  4. modified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses in mathematics and theoretical computer science  -    Advanced Automata Theory
  5. modified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Advanced Automata Theory
  6. modified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Advanced Automata Theory
  7. modified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Advanced Automata Theory
  8. modified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics  -    Advanced Automata Theory
  9. modified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics or natural and social sciences  -    Advanced Automata Theory
Responsible / Organizational Unit
Frey, Johannes / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
Mar 25, 2013 by Frey, Johannes