Free iterative and iteration K-semialgebras

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

Authors: Zoltán Ésik, W. Kuich 

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

Recommendations

• Free inductive \(K\)-semialgebras
• scientific article; zbMATH DE number 6665211
• scientific article; zbMATH DE number 7650820
• Extensions of iterative congruences of free iterative algebras
• On free algebras in varieties generated by iterated semidirect products of semilattices.
• scientific article; zbMATH DE number 2164329
• Structure of free semigroupoid algebras
• The structure of free semigroup algebra
• Free \(\ell\)-semigroups
• Free commutative semifields

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

• Elements of automata theory. Translated from the French by Reuben Thomas
• 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?)
• Noncommutative rational series with applications
• 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 (12)

• 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 rational power series over natural numbers
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Rationally additive semirings.
• 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.

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)