On iteration semiring-semimodule pairs

Z. Esik, W. Kuich

Research output: Contribution to journalArticle

25 Citations (Scopus)

Abstract

Conway semiring-module pairs and iteration semiring-semimodule pairs were shown to provide an axiomatic basis to automata on ω -words in [Bloom, Esik: Iteration Theories, Springer, 1993]. In this paper, we show that two natural classes of semiring-semimodule pairs, the complete and the bi-inductive semiring-semimodule pairs both give rise to iteration semiring-semimodule pairs. Complete semiring-semimodule pairs are defined by infinite sums and products, while a bi-inductive semiring-semimodule pair is an ordered semiring-semimodule pair possessing enough least pre-fixed points and greatest post-fixed points to solve linear inequations. Moreover, we show that when V is idempotent, then a semiring-semimodule pair equipped with a star and an omega operation satisfies the Conway equations (iteration semiring-semimodule pair equations, respectively) if and only if the quemiring associated with (S,V) embeds in a Conway semiring (iteration semiring, respectively).

Original languageEnglish
Pages (from-to)129-159
Number of pages31
JournalSemigroup Forum
Volume75
Issue number1
DOIs
Publication statusPublished - Sep 1 2007

    Fingerprint

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this