We give a new proof for the decidability of the equivalence of two k-valued transducers, a result originally established by Culik and Karhümaki and independently by Weber. Our proof relies on two constructions we have recently introduced to decompose a k-valued transducer and to decide whether a transducer is k-valued. As a result, our proof is entirely based on the structure of the transducers under inspection, and the complexity it yields is of single exponential order on the number of states. This improves Weber's result by one exponential. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
De Souza, R. (2008). On the decidability of the equivalence for k-valued transducers (extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5257 LNCS, pp. 252–263). https://doi.org/10.1007/978-3-540-85780-8_20
Mendeley helps you to discover research relevant for your work.