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. | ||