Login / Signup
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.
Shibashis Guha
Ismaël Jecker
Karoliina Lehtinen
Martin Zimmermann
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>
cellular automata
model checking
databases
decision trees
expert systems
finite state
database
machine learning
case study
similarity measure
hidden markov models
finite state machines
finite automata
tree automata