22
MSO and TrCl
•Theorem
On strings, MSO = TrCl1
•
•However, TrCl2 can express an.bn  [  how ? ]
•
•Question: what is the relationship between these languages:
•MSO on arbitrary graphs and TrCl1
•MSO on arbitrary graphs and TrCl