A Tighter Bound for the Determinization of Visibly Pushdown Automata

Nguyen Van Tang

Published in: INFINITY (2009)

Keyphrases

upper bound
lower bound
finite state
worst case
cellular automata
finite automata
model checking
probabilistic automata
lattice gas
finite state machines
error bounds
markov chain
np hard
message passing
regular expressions
objective function
vc dimension
data mining
finite state automata
databases
real time