On \(*\)-\(\lambda\)-semirings. (Q2456471): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.ins.2007.05.019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985776806 / rank | |||
Normal rank |
Revision as of 23:28, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(*\)-\(\lambda\)-semirings. |
scientific article |
Statements
On \(*\)-\(\lambda\)-semirings. (English)
0 references
18 October 2007
0 references
A \(*\)-\(\lambda\)-semiring is an ordered semiring \(S\) with a star operation in which, for any \(a,b\in S\), \(a^*b\) is the least fixed point of the linear mapping \(x\mapsto ax+b\). The special cases of this notion include continuous semirings and Kleene algebras. The authors prove several facts about such algebras and show how they are related to some other algebras defined by similar fixed point conditions or induction rules. They also consider formal power series over \(*\)-\(\lambda\)-semirings.
0 references
\(*\)-\(\lambda\)-semirings
0 references
fixed points
0 references
ordered semirings
0 references
formal power series
0 references
inductive semirings
0 references