[Submitted on 6 May 2021 ( v1 ), last revised 10 Jan 2024 (this version, v5)] Title:A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Download a PDF of the paper titled A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct, by Shibashis Guha and 3 other authors Download PDF HTML (experimental) Abstract:We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose...