20
MSO and Regular Languages
•
Let
S
= {a, b} and
s
= (<, P
a
, P
b
)
•
Then
S
*
'
STRUCT[
s
]
•
•
What can we express in FO over strings ?
•
•
What can we express in MSO over strings ?