Conway and iteration hemirings Part 1

M. Droste, Z. Ésik, W. Kuich

Research output: Contribution to journalArticle

Abstract

Conway hemirings are Conway semirings without a multiplicative unit. We also define iteration hemirings as Conway hemirings satisfying certain identities associated with the finite groups. Iteration hemirings are iteration semirings without a multiplicative unit. We provide an analysis of the relationship between Conway hemirings and (partial) Conway semirings and describe several free constructions. In the second part of the paper we define and study hemimodules of Conway and iteration hemirings, and show their applicability in the analysis of quantitative aspects of the infinitary behavior of weighted transition systems. These include discounted and average computations of weights investigated recently.

Original languageEnglish
Pages (from-to)461-482
Number of pages22
JournalInternational Journal of Algebra and Computation
Volume24
Issue number4
DOIs
Publication statusPublished - Jun 2014

    Fingerprint

Keywords

  • Conway semirings
  • formal power series
  • free iteration heirings
  • hemirings

ASJC Scopus subject areas

  • Mathematics(all)

Cite this