11 search results - page 3 / 3 » Synchronizing Automata over Nested Words |
142
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...