Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\)

DOI10.1007/978-3-031-28083-2_8OpenAlexW4323527466MaRDI QIDQ6174418

No author found.

Publication date: 17 August 2023

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-28083-2_8

zbMATH Keywords

centralizer*-continuous Kleene algebracontext-free expressionnormal form of automatonpolycyclic Kleene algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Coequalizers and tensor products for continuous idempotent semirings
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
• An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item