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