A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.

Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann

Browse the full MFCS paper archive.