Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
visibly_pushdown_languages [2007/06/05 11:17] vkuncak |
visibly_pushdown_languages [2007/06/05 11:20] (current) vkuncak |
||
---|---|---|---|
Line 52: | Line 52: | ||
Thanks to closure properties. | Thanks to closure properties. | ||
- | ===== Strack trees ===== | + | |
+ | ===== Stack trees ===== | ||
We can associate //injectively// trees with words over pushdown alphabet, then visibly pushdown languages correspond to regular trees. | We can associate //injectively// trees with words over pushdown alphabet, then visibly pushdown languages correspond to regular trees. |