21
MSO on Strings
•Theorem [Buchi]
On strings:   MSO = regular languages.
•
•Proof [in class; next time ?]
•
•Corollary. 
On strings: MSO = 9MSO = 8MSO