Star Semiring

A star semiring is a Semiring $(A,0,+,1,\cdot)$ equipped with a unary operation $(-)^{*}:A\to A$ that statisfies the following two axioms:

• $1+aa^{*}=a^{*}$
• $1+a^{*}a=a^{*}$