Search

• < Previous
• 1
• Next >

On the Expressive Power of 2-Stack Visibly Pushdown Automata

Visibly pushdown automata are input-driven pushdown automata that recognize some non-regular context-free languages while preserving the nice closure and decidability properties of finite automata. Visibly pushdown automata with multiple stacks have been considered recently by La Torre, Madhusudan,&nbsp;[&hellip;]