Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo

Automata and Formal Languages
held by: Dr. Manfred Kufleitner
held in: WS 2013/2014
sws: 4
ects: 8

Lectures will be in English.

A basic course in theoretical computer science with an introduction to finite automata (Einf├╝hrung in die theoretische Informatik, Module IN0011)

Brief content
The course introduces the basic theory of finite automata on finite and infinite words. It presents automata as data structures for representing and manipulating sets. Topics include constructions for boolean operations, minimization, transducers, decision diagrams, relation to logic, and applicatins to pattern matching and verification.

more information: /um/courses/auto/ws1314