The Decidability of Equivalence for Deterministic Finite Transducers.

Meera Blattner Tom Head

Published in: J. Comput. Syst. Sci. (1979)

Keyphrases

finite automata
query containment
black box
description logics
query answering
linear separability
finite number
artificial intelligence
reinforcement learning
data exchange
decision procedures
linearly separable