We restrict ourselves in this discussion to the left-categorial semiring, the right-categorial version being equivalently defined.
we define the left-categorial semiring (Σ * , ⊕, ⊗, ∞ s , ) over strings Σ * with and ∞ s as special infinity and null string symbols, respectively (as in the normal string semiring).