A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
From MaRDI portal
Publication:5053726
DOI10.1142/9789812810908_0008zbMath1499.68207OpenAlexW68848462MaRDI QIDQ5053726
Publication date: 6 December 2022
Published in: Words, Semigroups, and Transductions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789812810908_0008
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Ordered rings, algebras, modules (06F25)
Related Items (10)
Inductive \(^{*}\)-semirings ⋮ Free inductive \(K\)-semialgebras ⋮ Bisimulations for fuzzy automata ⋮ Nondeterministic automata: equivalence, bisimulations, and uniform relations ⋮ Iteration Semirings ⋮ Bisimulations for weighted automata over an additively idempotent semiring ⋮ Computation of the greatest simulations and bisimulations between fuzzy automata ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata ⋮ Equational theories for automata
This page was built for publication: A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
