The Decidability of Equivalence for Deterministic Finite Transducers

Meera Blattner, Tom Head. The Decidability of Equivalence for Deterministic Finite Transducers. J. Comput. Syst. Sci., 19(1):45-49, 1979.

Abstract

Abstract is missing.