Parikh's Theorem in Commutative Kleene Algebra

Abstract

Parikh’s Theorem says that the commutative image of every context free language is the commutative image of some regular set. Pilling has shown that this theorem is essentially a statement about least solutions of polynomial inequalities. We prove the following general theorem of commutative Kleene algebra, of which Parikh’s and Pilling’s theorems are… (More)
DOI: 10.1109/LICS.1999.782634

Topics

Cite this paper

@inproceedings{Hopkins1999ParikhsTI, title={Parikh's Theorem in Commutative Kleene Algebra}, author={Mark W. Hopkins and Dexter Kozen}, booktitle={LICS}, year={1999} }