Abstract
It is well known that the family of regular languages (over alphabet A), accepted by finite automata, coincides with the set of supports of the rational and recognizable formal power series over ℕ with the set of variables A. Here we prove that there is a corresponding presentation for languages accepted by integer weighted finite automata, where the weights are from the additive group of integers, via the matrices over Laurent polynomials with integer coefficients.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baker, B., Book, R.: Reversal-bounded multipushdown machines, J. Comput. System Sci. 8, 315–332 (1974)
Berstel, J., Reutenauer, C.: Rational series and their languages. Springer, Heidelberg (1988)
Greibach, S.A.: An infinite hierarchy of context-free languages, J. Assoc. Comput. Mach. 16, 91–106 (1969)
Halava, V., Harju, T.: Languages accepted by integer weighted finite automata, Jewels are forever, pp. 123–134. Springer, Berlin (1999)
Halava, V., Harju, T.: Undecidability in integer weighted finite automata. Fund. Inform. 38(1-2), 189–200 (1999)
Halava, V., Harju, T.: Undecidability in matrices over Laurent polynomials, Tech. Report 600, Turku Centre for Computer Science (March 2004) (submitted)
Halava, V., Harju, T., Hoogeboom, H.J., Latteux, M.: Valence languages generated by generalized equality sets, Tech. Report 502, TUCS (2002), to appear in JALC
Ibarra, O.H.: Restricted one-counter machines with undecidable universe problems. Math. Systems Theory 13, 181–186 (1979)
Kuich, W., Salomaa, A.: Semirings, automata, languages. Springer, Heidelberg (1986)
Mitrana, V., Stiebe, R.: The accepting power of finite automata over groups. In: Păun, G., Salomaa, A. (eds.) New Trends in Formal Languages. LNCS, vol. 1218, pp. 39–48. Springer, Heidelberg (1997)
Salomaa, A., Soittola, M.: Automata–theoretic aspects of formal power series. Springer, Heidelberg (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Halava, V. (2004). Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials. In: Karhumäki, J., Maurer, H., Păun, G., Rozenberg, G. (eds) Theory Is Forever. Lecture Notes in Computer Science, vol 3113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27812-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-27812-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22393-1
Online ISBN: 978-3-540-27812-2
eBook Packages: Springer Book Archive