On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages.

Oscar H. Ibarra Tao Jiang Nicholas Q. Trân Hui Wang

Published in: STACS (1993)

Keyphrases

turing machine
language independent
finite state automata
expressive power
multi lingual
model checking
finite automata
formal languages
formal language theory
finite state
cellular automata
context free
grammatical inference
regular languages
finite state machines
probabilistic automata
data model