Login / Signup
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