activity
20122026
most citedA Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

8 citations · 18 across the 21 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.FL2021★ 8 cited

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen +1

We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved…