Matrix and matricial iteration theories, Part I
作者:
Highlights:
•
摘要
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.
论文关键词:
论文评审过程:Received 1 November 1989, Revised 2 April 1992, Available online 2 December 2003.
论文官网地址:https://doi.org/10.1016/0022-0000(93)90010-T