MATRIX AND MATRIC ITERATION THEORIES .1.

被引：18

作者：

BLOOM, SL ^{[1
]}

ESIK, Z ^{[1
]}

机构：

[1] ATTILA JOZSEF UNIV,BOLYAI INST,H-6701 SZEGED,HUNGARY

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1993年 / 46卷 / 03期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0022-0000(93)90010-T

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 [计算机科学与技术];

摘要：

Matrix iteration theories are characterized by identities using theory operations as well as a star operation on T(n, n), for each n ≥ 0. The initial matrix iteration theory is described explicitly. An extension theorem is proved which implies that if MatS is a matrix iteration theory, so is MatR where R is a semiring of formal power series over S. In Part II these results are extended to Elgot's matricial theories. © 1993 Academic Press, Inc.

引用

页码：381 / 408

页数：28

共 13 条

[1]

VARIETIES OF ITERATION THEORIES [J].