当前位置: X-MOL 学术Int. J. Found. Comput. Sci. › 论文详情
A Proof of Parikh’s Theorem via Dickson’s Lemma
International Journal of Foundations of Computer Science ( IF 0.523 ) Pub Date : 2021-01-13 , DOI: 10.1142/s012905412150009x
Toshihiro Koga

In this paper, we give a proof of Parikh’s semilinear theorem via Dickson’s lemma. It is notable that our proof provides a clear separation between properties derived from Dickson’s lemma and tree decomposition for context-free grammars.



中文翻译:

通过Dickson引理证明Parikh定理

在本文中,我们通过迪克森引理给出了帕里克半线性定理的证明。值得注意的是,我们的证明清楚地区分了Dickson引理的属性和上下文无关语法的树分解。

更新日期:2021-02-22
全部期刊列表>>
2021新春特辑
SN Applied Sciences期刊征稿中
虚拟特刊
亚洲大洋洲地球科学
NPJ欢迎投稿
自然科研论文编辑
ERIS期刊投稿
欢迎阅读创刊号
自然职场,为您触达千万科研人才
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
阿拉丁试剂right
上海中医药大学
哈工大
西湖大学
化学所
北京大学
山东大学
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
南方科技大学
张凤娇
中国石油大学
天合科研
x-mol收录
试剂库存
down
wechat
bug