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