Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
msol_over_strings [2007/05/27 13:44] vaibhav.rajan |
msol_over_strings [2008/05/14 19:21] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== MSOL over Strings ====== | ====== MSOL over Strings ====== | ||
- | |||
- | |||
- | |||
===== Syntax and Semantics of Weak Monadic Second-Order Logic over Strings ===== | ===== Syntax and Semantics of Weak Monadic Second-Order Logic over Strings ===== | ||
Line 29: | Line 26: | ||
[\![\exists v. F]\!]e &=& \exists S. S\ \mbox{is finite}\ \land\ S \subseteq N_0 \land [\![F]\!](e[v \mapsto S]) | [\![\exists v. F]\!]e &=& \exists S. S\ \mbox{is finite}\ \land\ S \subseteq N_0 \land [\![F]\!](e[v \mapsto S]) | ||
\end{eqnarray*} | \end{eqnarray*} | ||
- | |||
- | |||
- | |||
- | |||
- | |||
===== What can we express in MSOL over strings ===== | ===== What can we express in MSOL over strings ===== |