Programm zum Workshop
Automatentheorie

27.September 2007, Leipzig

09:00-10:00: Jacques Sakarovitch (ENST/CNRS, Paris)

 Powers of rationals modulo 1 and rational base number systems
10:00-11:00: Christel Baier (Technische Universität Dresden)

 Probabilistic omega-automata
11:30-12:30: Didier Caucal (IGM, Université Paris-Est)

 From finite automata to deterministic graph grammars
14:00-15:00: Volker Diekert (Universität Stuttgart)

 Equations: From Words to Graph Products
15:30-16:30: Géraud Sénizergues (LABRI, Université Bordeaux 1)

 Bottom-up rewriting for words and terms
17:00-18:00: Daniel Kirsten (Universität Leipzig)

 Distanz-Desert-Automaten und das Sternhöhenproblem