Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:projection_of_automata [2009/04/17 13:59] vkuncak |
sav08:projection_of_automata [2009/04/17 14:00] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| \[ | \[ | ||
| proj(x,L) = | proj(x,L) = | ||
| - | \begin{array}[t]{l} | + | \begin{array}[t]{@{}l} |
| \{ a_1 \ldots a_n \mid \exists b_1,\ldots,b_n \in \{0,1\}. a_1[x:=b_1] \ldots a_n[x:=b_n] \in L \} \\ | \{ a_1 \ldots a_n \mid \exists b_1,\ldots,b_n \in \{0,1\}. a_1[x:=b_1] \ldots a_n[x:=b_n] \in L \} \\ | ||
| - | \{ a_1[x:=b_1] \ldots a_n[x:=b_n] \mid b_1,\ldots,b_n \in \{0,1\}. a_1 \ldots a_n \in L \} | + | \{ a_1[x:=b_1] \ldots a_n[x:=b_n] \mid b_1,\ldots,b_n \in \{0,1\}, \ a_1 \ldots a_n \in L \} |
| \end{array} | \end{array} | ||
| \] | \] | ||