A complete axiom system for rational sets with multiplicity

DOI10.1016/0304-3975(80)90038-9zbMath0443.68068OpenAlexW2065782998WikidataQ114683740 ScholiaQ114683740MaRDI QIDQ1144385

Masato Morisaki, Ko Sakai

Publication date: 1980

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

Full work available at URL: https://doi.org/10.1016/0304-3975(80)90038-9

zbMATH Keywords

rational languagesrational sets with multiplicity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (6)

Axiomatizing rational power series over natural numbers ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Iteration Semirings ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata ⋮ Equational theories for automata

Cites Work

• Two Complete Axiom Systems for the Algebra of Regular Events
• Unnamed Item
• Unnamed Item

This page was built for publication: A complete axiom system for rational sets with multiplicity