Free iterative and iteration \(K\)-semialgebras

DOI10.1007/s00012-012-0179-yzbMath1260.08001arXiv1008.1507MaRDI QIDQ412016

Werner Kuich, Zoltán Ésik

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 series; iterative \(K\)-semialgebra; iterative semiring; partial iteration \(K\)-semialgebra; partial iteration semiring

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

68Q70: Algebraic theory of languages and automata

16Y60: Semirings

Related Items

Equational properties of fixed-point operations in cartesian categories: An overview, Multi-Linear Iterative K-Σ-Semialgebras, A connection between concurrency and language theory, Free inductive \(K\)-semialgebras, Equational theories for automata, Axiomatizing weighted synchronization trees and weighted bisimilarity, Conway and iteration hemirings Part 1, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview

Cites Work

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