Seminar: Automata Theory
Winter Term 2014/2015
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
- general information can be optained in the Slides of Introduction.
- The seminar is held in two blocks.
- The presentations are in the seminarroom at the chair of i7 .