Abstract
In this lecture we will report on generalizations of some classical results on formal languages. These generalizations are achieved by an algebraic treatment using semirings, formal power series, fixed point theory and matrices. By the use of these mathematical constructs, definitions, constructions, and proofs are obtained that are very satisfactory from a mathematical point of view.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baron, G., Kuich, W.: The characterization of nonexpansive grammars by rational power series. Inf. Control 48, 109–118 (1981)
Berstel, J.: Transductions and Context-Free Languages. Teubner (1979)
Ésik, Z., Kuich, W.: On power series over a graded monoid. In: Calude, C.S., Freivalds, R., Kazuo, I. (eds.) Gruska Festschrift. LNCS, vol. 8808, pp. 49–55. Springer, Heidelberg (2014)
Flajolet, P.: Ambiguity and transcendence. In: Brauer, W. (ed.) Automata, Languages and Programming. LNCS, pp. 179–188. Springer, Heidelberg (1985)
Harju, T., Karhumäki, J.: The equivalence problem of multitape finite automata. Theoretical Computer Science 78, 347–355 (1991)
Kuich, W.: On the entropy of context-free languages. Inf. Control 16, 173–200 (1970)
Kuich, W.: Forty years of formal power series in automata theory. In: Salomaa, A., Wood, D., Yu, S. (eds.) Half Century of Automata Theory, pp. 49–71. World Scientific (2001)
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Springer (1986)
Sakarovitch, J.: Rational and recognisable power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata, Chapter 4, pp. 105–174. Springer (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Kuich, W. (2015). Why We Need Semirings in Automata Theory (Extended Abstract). In: Maletti, A. (eds) Algebraic Informatics. CAI 2015. Lecture Notes in Computer Science(), vol 9270. Springer, Cham. https://doi.org/10.1007/978-3-319-23021-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-23021-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23020-7
Online ISBN: 978-3-319-23021-4
eBook Packages: Computer ScienceComputer Science (R0)