Matrix and matricial iteration theories, Part I

Stephen L. Bloom, Zoltán Ésik

Research output: Contribution to journalArticle

18 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)381-408
Number of pages28
JournalJournal of Computer and System Sciences
Volume46
Issue number3
DOIs
Publication statusPublished - Jan 1 1993

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics

Cite this