Sign in
On the Determinacy Problem for Two-Way Pushdown Automata.
Holger Petersen
Published in:
Inf. Process. Lett. (1994)
Keyphrases
</>
finite state automata
probabilistic automata
finite state machines
model checking
database systems
cellular automata
conjunctive queries
query rewriting
data sets
social networks
computer vision
decision making
e learning
multiscale
finite state