Reachability Problem for Weak Multi-Pushdown Automata.

Wojciech Czerwinski Piotr Hofman Slawomir Lasota

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

neural network
cellular automata
finite state
machine learning
multiscale
real world
search engine
feature selection
multiresolution
query processing
state space
markov chain
transitive closure
finite automata
probabilistic automata