Formal Languages / Automata Theory

MEDI Formal Languages / Automata Theory		Course	INF
Lecturers :	Prof. Dr. Matthias Homeister eMail	Term	2
Course Classification :	Medizininformatik	CH	4
Language :	Deutsch	Type	VÜ
Type of examination :	PL	Credits	4
Method of evaluation :	written examination 120 min
Requirements :
Cross References :
Previous knowledges :	Mathematics I Programming I
Aids and special features :
Teaching aims :	Knowledge of the basic concepts and methods Ability to construct, analyze and apply automata Ability to apply transformations of automata Knowledge of the relation between the different concepts (formal languages and automata)
Contents :	Theory of formal Languages (concept of formal languages, regular expressions, grammars, derivations, Chomsky hierarchy) Theory of automata: deterministic and non-deterministic finite automata, transformations between automata, push-down automata, turing machines Characterizing regular languages by automata, regular expressions, and type 3 grammars
Literature :	Asteroth A., Baier Ch.: Theoretische Informatik. München: Pearson Studium 2002 Hopcroft J. E., Motwani R., Ullman J. D.: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. 3. Aufl. München: Pearson Studium 2011 Socher R.: Theoretische Grundlagen der Informatik. 3. Aufl. München: Hanser Verlag 2008 Vossen G., Witt K.-U.: Grundkurs theoretische Informatik. 5. Aufl. Wiesbaden: Springer Fachmedien Wiesbaden