The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDT0L Languages) is Decidable.

Karel Culík II Juhani Karhumäki

Published in: SIAM J. Comput. (1987)

Keyphrases

single valued
multi valued
endpoints
set valued
expressive power
datalog programs
continuous functions
first order logic
query containment
digital topology
databases
artificial neural networks
linear programming
input output