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 [2011/04/12 15:09] vkuncak |
sav08:using_automata_to_decide_ws1s [2012/05/15 12:46] vkuncak |
||
|---|---|---|---|
| Line 19: | Line 19: | ||
| **Lemma**: Let $F,F_i$ denote formulas, $w \in \Sigma^*$. Then | **Lemma**: Let $F,F_i$ denote formulas, $w \in \Sigma^*$. Then | ||
| - | * $w \models (F_1 \lor F_2)$ iff $w \models F_1$ and $w \models F_2$ | + | * $w \models (F_1 \lor F_2)$ iff $w \models F_1$ or $w \models F_2$ |
| * $w \models \lnot F$ iff $\lnot (w \models F)$ | * $w \models \lnot F$ iff $\lnot (w \models F)$ | ||
| * $w \models \exists x.F$ iff $\exists b. patch(w,x,b) \models F$ | * $w \models \exists x.F$ iff $\exists b. patch(w,x,b) \models F$ | ||