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