Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
expressing_finite_automata_in_msol_over_strings [2009/04/29 11:01] vkuncak |
expressing_finite_automata_in_msol_over_strings [2009/04/29 11:01] vkuncak |
||
---|---|---|---|
Line 21: | Line 21: | ||
\end{equation*} | \end{equation*} | ||
- | Note: we need to take care of the end of the string as well, by introducing the set of all positions in the input string, often denoted $\$$. | + | Note: we need to take care of the end of the string as well, by introducing the set of all positions in the input string, often denoted \$. |