Bounded-oscillation Pushdown Automata.

Pierre Ganty Damir Valput

Published in: GandALF (2016)

Keyphrases

finite state
model checking
cellular automata
finite automata
finite state machines
probabilistic automata
markov chain
regular expressions
natural language
lower bound
bayesian networks
case study
e learning
information systems
computer vision
databases
tree automata
finite state automata
timed automata
real time