Partial Conway and iteration semirings

Details Partial Conway and iteration semirings Partial Conway and iteration semirings

2007-12-18

arxiv.org/abs/0712.2952v1

Computer Science

Discrete Mathematics

Scientific paper

A Conway semiring is a semiring $S$ equipped with a unary operation $^*:S \to S$, always called 'star', satisfying the sum star and product star identities. It is known that these identities imply a Kleene type theorem. Some computationally important semirings, such as $N$ or $N^{\rat}\llangle \Sigma^* \rrangle$ of rational power series of words on $\Sigma$ with coefficients in $N$, cannot have a total star operation satisfying the Conway identities. We introduce here partial Conway semirings, which are semirings $S$ which have a star operation defined only on an ideal of $S$; when the arguments are appropriate, the operation satisfies the above identities. We develop the general theory of partial Conway semirings and prove a Kleene theorem for this generalization.

Affiliated with

Also associated with

No associations

Rating

Partial Conway and iteration semirings does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Partial Conway and iteration semirings, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Partial Conway and iteration semirings will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-549515