Proseminar: Automata Theory
Winter Term 2014/2015
Content
This pro seminar is an advancement of the course "formal systems, automata, processes". The number of topics is determined by the number of participants.
The same emphasis lies on creating the content and training to find sources, structuring the content and finishing with a presentation, in writing and in a presentation.
Organization
The slots are distributed by a centralized system.
Information can be gathered on the Slides of Introduction, furthermore the templates ausarbeitung.tex, ausarbeitung.bib and praesentation.tex.