Structural Complexity of Multi-Valued Partial Functions Computed by Nondeterministic Pushdown Automata.

Tomoyuki Yamakami

Published in: CoRR (2015)

Keyphrases

multi valued
single valued
finite state
finite automata
bi decomposition
multiple valued
model checking
computer vision
finite automaton
boolean functions
normal form
markov chain
worst case
computational complexity
database systems
tree automata
special case
logic synthesis