Seminar: Automata Theory (Bachelor)

 

Winter Term 2015/2016

 

Content

Subject of this seminar are original works and overview articles concerning automata theory, usually with emphasis in the vicinity of the lecture Applied Automata Theory. Active participation of this lecture or similar lectures in previous terms including the exercises are helpful in handling the topics and will be considered when apointing the slots.

It is a seminar of theoretical computer science. It will be required that the students know how to handle abstract models and mathematical proof

 

Organization

If you have questions please contact Martin Lang.

1. Appointment 16.11. 1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Properties and Complementation of DPDAs
     Vortrag: Rajbhandary, Hethnawi

2. Appointment 23.11. 1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Komplexität der Übersetzung von MSO in endliche Automaten
     Vortrag: Tolksdorf

   • Monadische TC-Logik über Wörtern
     Vortrag: VanLoo

3. Appointment 30.11. 1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Tilingsysteme und EMSO
     Vortrag: Gilbert

   • 4-Wege-Automaten und monadische TC-Logik über Graphen
     Vortrag: Nowak

4. Appointment 07.12. 1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Automaten mit Transitionsformeln
     Vortrag: Hoppen

   • Komplementierung von kontextsensitiven Sprachen
     Vortrag: Froitzheim

5. Appointment 14.12.1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Registerautomaten (auf unendlichen Alphabeten)
     Vortrag: Bruenjes

   • Automaten für Progressive Grid Walking
     Vortrag: Zimmermann

6. Appointment 11.01. 1:30pm to 3:30pm in the Seminar room i7, room 4116

   • Aktives Lernen nach Kearns/Vazirani
     Vortrag: Kotenko

   • Abstände zwischen automatendefinierbaren Sprachen
     Vortrag: Klein-Ridder