The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable.

Eitan M. Gurari

Published in: SIAM J. Comput. (1982)

Keyphrases

datalog programs
query containment
data sets
neural network
rough sets
black box
finite automata
machine learning
artificial intelligence
search engine
knowledge base
reinforcement learning
decision procedures
sequential search
tight complexity bounds