Language
The lecture will be given in English.

Prerequisites
Basic theoretic informatics (Einführung in die theoretische Informatik, Module IN0011)

Dates and time

• Monday, 12:00-13:30, MI HS 3 (lecture)
• Wednesday, 12:00-13:30, MI HS 3 (lecture)
• Thursday, 16:00-17:30, MI 02.13.010 (exercise)

Brief content
Automata and formal languages are at the heart of all fields of computer science. In this course, knowledge from earlier years will be furthered. Topics include advanced constructions (like minimizations); relations to logic, complexity, and algorithms; context-free languages; and timed automata. We shall emphasize applications and tools in areas like verification and compilers.