Author:
Carnino Vincent,Lombardy Sylvain
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Béal, M.-P., Carton, O., Prieur, C., Sakarovitch, J.: Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theor. Comput. Sci. 292(1), 45–63 (2003)
2. Carnino, V., Lombardy, S.: On determinism and unambiguity of weighted two-way automata. In: AFL 2014 (accepted, 2014)
3. Ésik, Z., Kuich, W.: Finite automata. In: Droste, M., et al. (eds.) Handbook of Weighted Automata, pp. 69–104. Springer (2009)
4. Krob, D.: The equality problem for rational series with multiplicities in the tropical semiring is undecidable. Internat. J. Algebra Comput. 4(3), 405–425 (1994)
5. Lombardy, S., Mairesse, J.: Series which are both max-plus and min-plus rational are unambiguous. RAIRO - Theor. Inf. and Appl. 40(1), 1–14 (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two-way representations and weighted automata;RAIRO - Theoretical Informatics and Applications;2016-10
2. Input- or output-unary sweeping transducers are weaker than their 2-way counterparts;RAIRO - Theoretical Informatics and Applications;2016-10
3. On Determinism and Unambiguity of Weighted Two-Way Automata;International Journal of Foundations of Computer Science;2015-12