An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem

DOI10.1017/S0960129522000329OpenAlexW4306165440WikidataQ115049740 ScholiaQ115049740MaRDI QIDQ5875891

Hans Leiß

Publication date: 6 February 2023

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129522000329

zbMATH Keywords

context-free languageregular languageidempotent semiringChomsky-Schützenberger theorem\(\mu\)-continuous Chomsky algebra\(^*\)-continuous Kleene algebrafixed-point-closure

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

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

Cites Work

• Rational subsets of polycyclic monoids and valence automata
• Parsing schemata and correctness of parsing algorithms
• A completeness theorem for Kleene algebras and the algebra of regular events
• C-dioids and \(\mu\)-continuous chomsky-algebras
• Coequalizers and tensor products for continuous idempotent semirings
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
• The Algebraic Approach II: Dioids, Quantales and Monads
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem