Login / Signup
Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time.
Tsunehiro Yoshinaga
Katsushi Inoue
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2003)
Keyphrases
</>
finite automata
finite state
finite automaton
finite state automaton
deterministic automata
turing machine
fully observable
cellular automata
regular expressions
tree automata
deterministic finite automata
probabilistic automata
databases
knowledge base
np complete
finite state automata