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 [2010/05/21 02:31] vkuncak |
expressing_finite_automata_in_msol_over_strings [2010/05/21 02:31] vkuncak |
||
|---|---|---|---|
| Line 25: | Line 25: | ||
| Then the word is accepted if the above formula holds for the entire input | Then the word is accepted if the above formula holds for the entire input | ||
| \[ | \[ | ||
| - | \exists k. (F \land \forall p. k < p \rightarrow \bidwedge_i p \notin v_i) | + | \exists k. (F \land \forall p. k < p \rightarrow \bigwedge_i p \notin v_i) |
| \] | \] | ||