Decomposing Finite-Valued Transducers and Deciding Their Equivalence

Andreas Weber. Decomposing Finite-Valued Transducers and Deciding Their Equivalence. SIAM Journal on Computing, 22(1):175-202, 1993.

Abstract

Abstract is missing.