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