论文信息 - *-μ-semirings and *-λ-semirings

-μ-semirings and -λ-semirings

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 Esik and Kuich’s open problems. © 2005 Elsevier B.V. All rights reserved.

Young Bae Jun | Feng Feng | Xianzhong Zhao

[1] Zoltán Ésik,et al. Inductive star-semirings , 2004, Theor. Comput. Sci..

[2] L. Santocanale,et al. Free μ-lattices , 2000 .

[3] J. Golan. Semirings and their applications , 1999 .

[4] Zoltán Ésik,et al. Matrix and Matricial Iteration Theories, Part I , 1993, J. Comput. Syst. Sci..

[5] Arto Salomaa,et al. Semirings, Automata and Languages , 1985 .

[6] Z. Ésik,et al. Iteration Theories: The Equational Logic of Iterative Processes , 1993 .

[7] G. Markowsky. Chain-complete posets and directed sets with applications , 1976 .

[8] Alexander Meduna,et al. Automata and Languages , 2000, Springer London.

[9] Smbat Abian,et al. A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems , 1961, Canadian Journal of Mathematics.