State Complexity of the Quotient Operation on Input-Driven Pushdown Automata.

Alexander Okhotin Kai Salomaa

Published in: Int. J. Found. Comput. Sci. (2019)

Keyphrases

data driven
model checking
computational complexity
finite state machines
cellular automata
input data
expert systems
state space
finite state
data sets
worst case
image sequences
image processing
computer vision
social networks
artificial intelligence
machine learning