Free iterative and iteration \(K\)-semialgebras

DOI10.1007/s00012-012-0179-yzbMath1260.08001arXiv1008.1507OpenAlexW1616653757MaRDI 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 seriesiterative \(K\)-semialgebraiterative semiringpartial iteration \(K\)-semialgebrapartial iteration semiring

Mathematics Subject Classification ID

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

Related Items

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

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

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