Axiomatizing rational power series over natural numbers

DOI10.1016/J.IC.2009.02.003zbMath1167.68036OpenAlexW2083527366MaRDI QIDQ2389332

Stephen L. Bloom, Zoltán Ésik

Publication date: 15 July 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.02.003

Mathematics Subject Classification ID

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

Related Items (13)

A connection between concurrency and language theory ⋮ Free inductive \(K\)-semialgebras ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Convergence of Newton's method over commutative semirings ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata ⋮ Dagger extension theorem ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of weighted automata
• A complete inference system for a class of regular behaviours
• A complete axiom system for rational sets with multiplicity
• Complete systems of \(\mathcal B\)-rational identities
• Models of a \(K\)-rational identity system
• Group axioms for iteration
• A completeness theorem for Kleene algebras and the algebra of regular events
• A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
• The equational logic of fixed points
• Equational theories of tropical semirings
• Inductive \(^{*}\)-semirings
• Matrix and matricial iteration theories. I
• On the definition of a family of automata
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• Une remarque sur les systèmes complets d'identités rationnelles
• Newton’s Method for ω-Continuous Semirings
• On Fixed Point Equations over Commutative Semirings
• Equational axioms for regular sets
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Une condition impliquant toutes les identités rationnelles
• Two Complete Axiom Systems for the Algebra of Regular Events
• STACS 2005
• Automata, Languages and Programming

This page was built for publication: Axiomatizing rational power series over natural numbers