3
Buchi’s Theorem
•Proof
•Part 1: regular languages µ MSO
•
•Every regular language is in 9MSO
  [in class]
•
•Every regular language is in 8 MSO
  [in class]