A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002. A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. In Filippo Bonchi, Simon J. Puglisi, editors, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Volume 202 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.