References

1. Marcella Anselmo (1990): Two-way Automata with Multiplicity. In: ICALP'90, Lect. Notes in Comput. Sci. 443, pp. 88–102, doi:10.1007/BFb0032024.
2. Marie-Pierre Béal, Olivier Carton, Christophe Prieur & Jacques Sakarovitch (2003): Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theor. Comput. Sci. 292(1), pp. 45–63, doi:10.1016/S0304-3975(01)00214-6.
3. Olivier Carton (2012): Two-Way Transducers with a Two-Way Output Tape. In: DLT'12, Lect. Notes in Comput. Sci. 7410, pp. 263–272, doi:10.1007/978-3-642-31653-1_24.
4. Rodrigo De Souza (2013): Uniformisation of Two-Way Transducers. In: LATA'13, Lect. Notes in Comput. Sci. 7810, pp. 547–558, doi:10.1007/978-3-642-37064-9_48.
5. Joost Engelfriet & Hendrik Jan Hoogeboom (2007): Finitary Compositions of Two-way Finite-State Transductions. Fundam. Inform. 80(1-3), pp. 111–123. Available at http://iospress.metapress.com/content/143422w0253h8644/.
6. Zoltán Ésik & Werner Kuich (2009): Handbook of Weighted Automata, chapter Finite Automata, pp. 69–104. Springer, doi:10.1007/978-3-642-01492-5.
7. John E. Hopcroft & Jeffrey D. Ullman (1967): An Approach to a Unified Theory of Automata. In: SWAT (FOCS). IEEE Computer Society, pp. 140–147, doi:10.1109/FOCS.1967.4.
8. Ines Klimann, Sylvain Lombardy, Jean Mairesse & Christophe Prieur (2004): Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. Theor. Comput. Sci. 327(3), pp. 349–373, doi:10.1016/j.tcs.2004.02.049.
9. Daniel Krob (1994): The equality problem for rational series with multiplicities in the tropical semiring is undecidable. Internat. J. Algebra Comput. 4(3), pp. 405–425, doi:10.1142/S0218196794000063.
10. Sylvain Lombardy & Jean Mairesse (2006): Series which are both max-plus and min-plus rational are unambiguous. RAIRO - Theor. Inf. and Appl. 40(1), pp. 1–14, doi:10.1051/ita:2005042.
11. Sylvain Lombardy & Jacques Sakarovitch (2013): The validity of weighted automata. Internat. J. Algebra Comput. 23, pp. 863–913, doi:10.1142/S0218196713400146.
12. M. O. Rabin & D. Scott (1959): Finite automata and their decision problems. IBM J. Res. Dev. 3(2), pp. 114–125, doi:10.1147/rd.32.0114.
13. Jacques Sakarovitch (2009): Elements of Automata Theory. Cambridge University Press, doi:10.1017/CBO9781139195218.
14. J. C. Shepherdson (1959): The reduction of two-way automata to one-way automata. IBM J. Res. Dev. 3(2), pp. 198–200, doi:10.1147/rd.32.0198.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org