A Conway semiring is a semiring S equipped with a unary operation*:S →S, called star, satisfying the sum star and product star equations. An iteration semiring is a Conway semiring satisfying Conway's group equations. In this extended abstract, we review the role of iteration semirings in the axiomatization of regular languages and rational power series, and in the axiomatization of the equational theory of continuous and complete semirings. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ésik, Z. (2008). Iteration semirings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5257 LNCS, pp. 1–20). https://doi.org/10.1007/978-3-540-85780-8_1
Mendeley helps you to discover research relevant for your work.