Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:using_automata_to_decide_ws1s [2012/05/15 12:48] vkuncak |
sav08:using_automata_to_decide_ws1s [2012/05/15 15:11] vkuncak |
||
|---|---|---|---|
| Line 103: | Line 103: | ||
| **Example 1:** Compute automaton for formula $\exists X. \lnot (X \subseteq Y)$. | **Example 1:** Compute automaton for formula $\exists X. \lnot (X \subseteq Y)$. | ||
| - | **Example 2:** Compute automaton for formula $\exists Y. (X < Y)$ where $<$ is interpreted treating $X,Y$ as digits of natural numbers. | + | **Example 2:** Compute automaton for formula $\exists Y. (X < Y)$ where $<$ is interpreted treating $X,Y$ as digits of natural numbers. Also compute the automaton for the formula $\exists X. (X < Y)$. |
| ===== References ===== | ===== References ===== | ||