Free iterative and iteration K-semialgebras

DOI10.1007/S00012-012-0179-YzbMATH Open1260.08001arXiv1008.1507OpenAlexW1616653757MaRDI QIDQ412016FDOQ412016

W. Kuich, Zoltán Ésik

Publication date: 3 May 2012

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: We consider algebras of rational power series over an alphabet $Sigma$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.

Full work available at URL: https://arxiv.org/abs/1008.1507

zbMATH Keywords

rational power seriesiterative \(K\)-semialgebraiterative semiringpartial iteration \(K\)-semialgebrapartial iteration semiring

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Applications of universal algebra in computer science (08A70)

Cites Work

• Title not available (Why is that?)
• Group axioms for iteration
• Axiomatizing rational power series over natural numbers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two Complete Axiom Systems for the Algebra of Regular Events
• On the definition of a family of automata
• Title not available (Why is that?)
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Complete systems of \(\mathcal B\)-rational identities
• A completeness theorem for Kleene algebras and the algebra of regular events
• Title not available (Why is that?)
• Inductive \(^{*}\)-semirings
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• Title not available (Why is that?)
• A complete axiom system for rational sets with multiplicity
• Simple program schemes and formal languages
• On a Theorem of R. Jungen
• Cycle-Free Finite Automata in Partial Iterative Semirings
• Title not available (Why is that?)
• On Kleene algebras

Cited In (10)

• Equational properties of fixed-point operations in cartesian categories: An overview
• A connection between concurrency and language theory
• Free inductive \(K\)-semialgebras
• Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
• Multi-Linear Iterative K-Σ-Semialgebras
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Equational theories for automata
• A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
• Canonical forms for free {\kappa}-semigroups
• Conway and iteration hemirings. I.

   Recommendations

• Free inductive \(K\)-semialgebras 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Extensions of iterative congruences of free iterative algebras 👍 👎
• ON FREE ALGEBRAS IN VARIETIES GENERATED BY ITERATED SEMIDIRECT PRODUCTS OF SEMILATTICES 👍 👎
• Title not available (Why is that?) 👍 👎
• Structure of free semigroupoid algebras 👍 👎
• The structure of free semigroup algebra 👍 👎
• Free \(\ell\)-semigroups 👍 👎
• Free commutative semifields 👍 👎

This page was built for publication: Free iterative and iteration \(K\)-semialgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412016)