On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of their Pushdown Store

Pavol Duris Zvi Galil

Published in: Inf. Control. (1982)

Keyphrases

model checking
lower bound
cellular automata
finite state
error bounds
memory requirements
finite state machines
upper bound
standard deviation
database
databases
artificial intelligence
multi class
finite automata
polynomial size