2
Outline
•
Chapter 7 in the textbook:
•
Games for SO, application to reachability
•
Buchi’s theorem
•
Star Free Languages
•
Tree automata