The Equivalence Problem for Deterministic Two-Way Sequential Transducers Is Decidable

Eitan M. Gurari

Published in: FOCS (1980)

Keyphrases

datalog programs
query containment
query answering
first order logic
finite automata
real time
databases
black box
sequential search
machine learning
information systems
knowledge base
data model
sequential data