Collapsible pushdown automata and recursion schemes
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addition to the higher-order stack operations pushi and popi, CPDA have an important operation called collapse, whose effect...
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Conference item |
| 出版事項: |
2008
|