*-μ-semirings and *-λ-semirings

被引:11
作者
Feng, F
Zhao, XZ [1 ]
Jun, YB
机构
[1] NW Univ Xian, Dept Math, Xian 710069, Shaanxi, Peoples R China
[2] Gyeongsang Natl Univ, Dept Math Educ, Chinju 660701, South Korea
基金
美国国家科学基金会;
关键词
semiring; *-semiring; ordered semiring; inductive *-semiring; *-mu-semiring; *-lambda-semiring; formal power series;
D O I
10.1016/j.tcs.2005.08.010
中图分类号
TP301 [理论、方法];
学科分类号
081202 [计算机软件与理论];
摘要
We introduce and study *-mu-semirings and *-lambda-sermrings 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 [mu-semiring, lambda-semiring, *-lambda-semiring] is a weak inductive *-semirng [mu-semiring, lambda-semiring, *-lambda-semiring, respectively]. This gives a positive answer to one of Esik and Kuich's open problems. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:423 / 431
页数:9
相关论文
共 8 条
[1]
THEOREM ON PARTIALLY ORDERED SETS, WITH APPLICATIONS TO FIXED POINT THEOREMS [J].
ABIAN, S ;
BROWN, AB .
CANADIAN JOURNAL OF MATHEMATICS, 1961, 13 (01) :78-&
[2]
MATRIX AND MATRIC ITERATION THEORIES .1. [J].
BLOOM, SL ;
ESIK, Z .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (03) :381-408
[3]
BLOOM SL, 1993, EATCS MONOGRAPHS THE
[4]
Inductive *-semirings [J].
Ésik, Z ;
Kuich, W .
THEORETICAL COMPUTER SCIENCE, 2004, 324 (01) :3-33
[5]
Golan J.S., 1999, SEMIRINGS THEIR APPL
[6]
Kuich W., 1986, SEMIRINGS AUTOMATA L, DOI [10.1007/978-3-642-69959-7, DOI 10.1007/978-3-642-69959-7]
[7]
Markowsky G., 1976, ALGEBR UNIV, V6, P53, DOI [10.1007/BF02485815, DOI 10.1007/BF02485815]
[8]
Free μ-lattices [J].
Santocanale, L .
JOURNAL OF PURE AND APPLIED ALGEBRA, 2002, 168 (2-3) :227-264