Iteration semirings

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

A Conway semiring is a semiring S equipped with a unary operation*:S →S, called star, satisfying the sum star and product star equations. An iteration semiring is a Conway semiring satisfying Conway's group equations. In this extended abstract, we review the role of iteration semirings in the axiomatization of regular languages and rational power series, and in the axiomatization of the equational theory of continuous and complete semirings.

Original languageEnglish
Title of host publicationDevelopments in Language Theory - 12th International Conference, DLT 2008, Proceedings
Pages1-20
Number of pages20
DOIs
Publication statusPublished - Oct 27 2008
Event12th International Conference on Developments in Language Theory, DLT 2008 - Kyoto, Japan
Duration: Sep 16 2008Sep 19 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5257 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Conference on Developments in Language Theory, DLT 2008
CountryJapan
CityKyoto
Period9/16/089/19/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Iteration semirings'. Together they form a unique fingerprint.

  • Cite this

    Ésik, Z. (2008). Iteration semirings. In Developments in Language Theory - 12th International Conference, DLT 2008, Proceedings (pp. 1-20). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5257 LNCS). https://doi.org/10.1007/978-3-540-85780-8_1