Multi-Linear Iterative K-Σ-Semialgebras

DOI10.1016/j.entcs.2011.09.020zbMath1345.08004OpenAlexW2149887641WikidataQ113318226 ScholiaQ113318226MaRDI QIDQ5739356

Zoltán Ésik

Publication date: 15 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.020

zbMATH Keywords

free algebrassemialgebrasrational tree series\(\Sigma\)-algebraspolynomial fixed point equations

Mathematics Subject Classification ID

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

Related Items (3)

Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free iterative and iteration \(K\)-semialgebras
• Iterative and recursive matrix theories
• Iterative algebras
• Handbook of weighted automata
• A complete inference system for a class of regular behaviours
• Unique fixed points vs. least fixed points
• A complete axiom system for rational sets with multiplicity
• A complete axiomatisation for observational congruence of finite-state behaviours
• Matrix and matricial iteration theories. I
• Simulations of Weighted Tree Automata
• Iterative algebras at work
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
• Two Complete Axiom Systems for the Algebra of Regular Events
• Automata, Languages and Programming

This page was built for publication: Multi-Linear Iterative K-Σ-Semialgebras