A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.

Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martin Zimmermann

Published in: MFCS (2021)

Keyphrases

situation calculus
information systems
cellular automata
data mining
database systems
state space
finite state
bit vector