Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
reachable_pushdown_configurations_are_regular [2007/05/31 00:09] vkuncak |
reachable_pushdown_configurations_are_regular [2007/05/31 00:10] vkuncak |
||
---|---|---|---|
Line 30: | Line 30: | ||
which contains all states that can lead to a state in $T$. Given the representation of $T$ using a family of sets $L^i$, we can define the corresponding pre-image computation of $L^i$ by | which contains all states that can lead to a state in $T$. Given the representation of $T$ using a family of sets $L^i$, we can define the corresponding pre-image computation of $L^i$ by | ||
\begin{equation*} | \begin{equation*} | ||
- | \mbox{pre}(L^j) = \{ \gamma w' \mid ((p^j, \gamma),(p^k,w w')) \in \Delta\ \land\ w w' \in L^k \} | + | \mbox{pre}(L^j) = \bigcup \{ \gamma w' \mid ((p^j, \gamma),(p^k,w w')) \in \Delta\ \land\ w w' \in L^k \} |
\end{equation*} | \end{equation*} | ||