Abstract
A ∗– λ-semiring is an ordered semiring S equipped with a star operation such that for any a, b ∈ S, a ∗ b is the least fixed point of the linear mapping x ↦ ax + b over S. The notion of ∗– λ-semirings is a generalization of several important concepts such as continuous semirings, (weak) inductive ∗-semirings and the Kleene algebras of Conway and Kozen. We investigate several basic properties of ∗– λ-semirings and obtain results on ∗– λ-semirings in relation to preorders, duality and formal power series. Some of these results can be seen as generalizations of relevant results on inductive ∗-semirings.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
