文章基本信息
- 标题：A Fully Equational Proof of Parikh's Theorem
- 本地全文：下载
- 作者：Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir 等
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：2001
- 卷号：8
- 期号：28
- 出版社：Aarhus University
- 摘要：We show that the validity of Parikh's theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of mu-term equations of continuous commutative idempotent semirings.
