Module Import 04IN2034 - Omega Automata

Status: (discontinued) Published
Workload3 ECTS = 90 hrs
Credits, Weight3 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
04IN2034-1 Lecture Omega Automata (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)

04IN2034-1 - Omega Automata
  • 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)

04IN2034-1 - Omega Automata

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

W. Thomas: Automata on infinite words

Priese: Jewels in Theory, Skript im Internet

Responsible / Organizational Unit
Priese, Lutz / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
May 15, 2012 by Frey, Johannes