On the Decidability of Equivalence for Deterministic Pushdown Transducers

Oscar H. Ibarra, Louis E. Rosier. On the Decidability of Equivalence for Deterministic Pushdown Transducers. Inf. Process. Lett., 13(3):89-93, 1981.

Abstract

Abstract is missing.