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