Chapters of Automata Theory

» Diese Veranstaltung wird auf englisch gehalten.

Lecture in summer term 2007

TypeTime/PlaceStartLecturer
V2 Wed 15:00 - 16:30 4116 04.04.2007 Thomas
Ü1 Fr 12:15 - 13:00 4116 13.04.2007 Carayol, Karianto

Contents

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
The course is addressed only to students in the international master curricula of computer science.

Previous Knowledge

Basic knowledge of automata theory as presented in basic courses is required for participation.

Credit Points

4 ECTS