Free iterative and iteration K-semialgebras

DOI10.1007/S00012-012-0179-YMaRDI QIDQ412016zbMATH OpenOpenAlexFDO

Authors Zoltán Ésik, W. Kuich

Publication date 3 May 2012

Published in Algebra Universalis (Search for Journal in Brave)

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 18591 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1257742 (Why is no real title available?)
• scientific article; zbMATH DE number 2000185 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 5499328 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A complete axiom system for rational sets with multiplicity
• A completeness theorem for Kleene algebras and the algebra of regular events
• Axiomatizing rational power series over natural numbers
• Complete systems of \(\mathcal B\)-rational identities
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• Cycle-Free Finite Automata in Partial Iterative Semirings
• Elements of automata theory. Translated from the French by Reuben Thomas
• Group axioms for iteration
• Inductive \(^{*}\)-semirings
• Noncommutative rational series with applications
• On Kleene algebras
• On a Theorem of R. Jungen
• On the definition of a family of automata
• Simple program schemes and formal languages
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Two Complete Axiom Systems for the Algebra of Regular Events

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
• Axiomatizing rational power series over natural numbers
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.
• 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)