*-μ-Semirings and *-μ-lamda;-semirings

  • Authors:
  • Feng Feng;Xianzhong Zhao;Young Bae Jun

  • Affiliations:
  • Department of Mathematics, Northwest University, Xi'an, Shaanxi, PR China;Department of Mathematics, Northwest University, Xi'an, Shaanxi, PR China;Department of Mathematics Education, Gyeongsang National University, Chinju, Korea

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 5.23

Visualization

Abstract

We introduce and study *-µ-semirings and *-λ-semirings which generalize inductive *-semirings and weak inductive *-semirings, respectively. Also, we discuss the semiring of formal power series with coefficients in such a semiring and prove that the semiring of formal power series with coefficients in a weak inductive *-semiring [µ-semiring, λ-semiring, *-λ-semiring] is a weak inductive *-semirng [µ-semiring, λ-semiring, *-λ-semiring, respectively]. This gives a positive answer to one of Ésik and Kuich's open problems.