Inhalt

The course covers automata theory and its connection to logic. The following topics will be discussed:

• (deterministic, non-deterministic, alternating) finite automata
• regular expressions
• (weak) monadic second-order logic
• Presburger arithmetic
• (alternating) Büchi automata
• linear-time temporal logic
• tree automata