Locally closed semirings

被引：10

作者：

Ésik, Z

Kuich, W

机构：

[1] Univ Szeged, Dept Comp Sci, H-6720 Szeged, Hungary

[2] Vienna Tech Univ, Inst Algebra & Comp Math, A-1040 Vienna, Austria

来源：

MONATSHEFTE FUR MATHEMATIK | 2002年 / 137卷 / 01期

关键词：

semiring; Conway semiring; iteration semiring; closed semiring;

D O I：

10.1007/s00605-001-0481-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We call a semiring S locally closed if for all a is an element of S there is some integer k such that 1 + a + ... + a(k) = 1 + a + ... + a(k+1). In any locally closed semiring we may define a star operation a --> a*, where a* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring.

引用

页码：21 / 29

页数：9

共 14 条

[1]

[Anonymous], 1979, GRAPHS NETWORKS

[2] The equational logic of fixed points [J].

Bloom, SL ;

Esik, ZS .

THEORETICAL COMPUTER SCIENCE, 1997, 179 (1-2) :1-60

[3]

Bloom Stephen L, 1993, Iteration theories

[4]

CONWAY JH, 1971, REGULAR ALGEBRA FINI

[5]

Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA

[6] Group axioms for iteration [J].

Ésik, Z .

INFORMATION AND COMPUTATION, 1999, 148 (02) :131-180

[7]

ESIK Z, 2002, IN PRESS THEORETICAL

[8]

Golan J.S., 1999, SEMIRINGS THEIR APPL

[9] COMPLETE SYSTEMS OF BETA-RATIONAL IDENTITIES [J].

KROB, D .

THEORETICAL COMPUTER SCIENCE, 1991, 89 (02) :207-343

[10]

KUICH W, 1987, LNCS, V267, P212

← 1 2 →