Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
expressing_finite_automata_in_msol_over_strings [2007/05/16 10:58] vkuncak |
expressing_finite_automata_in_msol_over_strings [2009/04/29 11:08] vkuncak |
||
|---|---|---|---|
| Line 20: | Line 20: | ||
| \exists Q_0,\ldots, Q_m.\ \mbox{Init} \land (\forall p. p \leq k \rightarrow \mbox{Trans}) \land \mbox{Final} | \exists Q_0,\ldots, Q_m.\ \mbox{Init} \land (\forall p. p \leq k \rightarrow \mbox{Trans}) \land \mbox{Final} | ||
| \end{equation*} | \end{equation*} | ||
| + | |||