Normal forms for elements of the *-continuous Kleene algebras K_RC₂'

DOI10.1007/978-3-031-28083-2_8MaRDI QIDQ6174418zbMATH OpenOpenAlexFDO

Authors

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

*-continuous Kleene algebracentralizercontext-free expressionnormal form of automatonpolycyclic Kleene algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
• Coequalizers and tensor products for continuous idempotent semirings
• scientific article; zbMATH DE number 51893 (Why is no real title available?)
• scientific article; zbMATH DE number 3238653 (Why is no real title available?)
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
• The matrix ring of a -continuous Chomsky algebra is -continuous

Cited in

(1)

• Morita rigidity for Kleene algebras

This page was built for publication: Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174418)