Chapters of Automata Theory
» Diese Veranstaltung wird auf englisch gehalten.
Lecture in summer term 2007
|V2||Wed 15:00 - 16:30 4116||04.04.2007||Thomas|
|Ü1||Fr 12:15 - 13:00 4116||13.04.2007||Carayol, Karianto|
This course is an introduction to advanced fields of automata theory, starting in each case with a repetition of the basic theory. The topics covered include:
- Finite automata, minimization, and bisimulation reduction
- Pushdown automata, context-free languages, pushdown systems and reachability problem
- Turing machines, undecidability, reductions, two-stack and two-counter machines, communicating finite-state machines
- Petri nets and their analysis
Basic knowledge of automata theory as presented in basic courses is required for participation.