-μ-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

来源：

THEORETICAL COMPUTER SCIENCE | 2005年 / 347卷 / 1-2期

基金：

美国国家科学基金会;

关键词：

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].