Normal forms for elements of ^*-continuous Kleene algebras representing the context-free languages

DOI10.46298/FI.12479MaRDI QIDQ6869663zbMATH OpenFDO

Authors Mark A. Hopkins, Hans Leiß

Publication date 22 January 2026

Published in Fundamenta Informaticae (Search for Journal in Brave)

Copyright license arXiv.org Non-exclusive license to distribute

Full work available at URL https://doi.org/10.46298/FI.12479

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• 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?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Infinitary axiomatization of the equational theory of context-free languages
• Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -- November 1, 2018. Proceedings
• Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3--6, 2023. Proceedings
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
• The Algebraic Approach II: Dioids, Quantales and Monads
• The matrix ring of a -continuous Chomsky algebra is -continuous

This page was built for publication: Normal forms for elements of \({}^*\)-continuous Kleene algebras representing the context-free languages

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