Publisher
Springer International Publishing
Reference14 articles.
1. Baschenis, F., Gauwin, O., Muscholl, A., Puppis, G.: One-way definability of two-way word transducers. Logical Methods Comput. Sci. 14, 1–54 (2018)
2. Blattner, M., Head, T.: Single-valued a-transducers. J. Comput. Syst. Sci. 15(3), 310–327 (1977)
3. Blattner, M., Head, T.: The decidability of equivalence for deterministic finite transducers. J. Comput. Syst. Sci. 19, 45–49 (1979)
4. Culik II, K., Karhumäki, J.: The equivalence of finite valued transducers (on hdt0l languages) is decidable. Theor. Comput. Sci. 47(1), 71–84 (1986)
5. Culik II, K., Karhumäki, J.: The equivalence problem for single-valued two-way transducers (on NPDTOL languages) is decidable. SIAM J. Comput. 16(2), 221–230 (1987)