Digging input-driven pushdown automata.

Martin Kutrib Andreas Malcher

Published in: RAIRO Theor. Informatics Appl. (2021)

Keyphrases

finite state
neural network
data driven
finite state machines
databases
input data
case study
multiscale
user interface
model checking
user input
finite automata
tree automata
lattice gas