Koga,Toshihiro先生 通过Dickson引理证明Parikh定理。 (英语) Zbl 1474.68175号 发现的国际期刊。计算。科学。 第2163-173号第32页(2021). 摘要:本文利用Dickson引理给出了Parikh半线性定理的一个证明。值得注意的是,我们的证明明确区分了从Dickson引理导出的属性和无上下文文法的树分解。 MSC公司: 65年第68季度 形式语言和自动机 20立方米 自动机理论、语言学等中的半群。 2012年第68季度 语法和重写系统 关键词:交换幺半群;帕里赫定理;无上下文语言 PDF格式BibTeX公司 XML格式引用 \textit{T.Koga},国际期刊发现。计算。科学。32,编号2,163--173(2021;Zbl 1474.68175) 全文: 内政部 参考文献: [1] Eilenberg,S.和Schützenberger,M.P.,交换幺半群中的有理集,J.Algebra13(2)(1969)173-191·Zbl 0206.02703号 [2] Esparza,J.,Ganty,P.,Kiefer,S.和Luttenberger,M.,Parikh定理:简单直接的自动机构造,Inf.过程。Lett.111(12)(2011)614-619·Zbl 1260.68203号 [3] Ginsburg,S.和Spanier,E.,《半群,普雷斯伯格公式和语言》,《太平洋数学杂志》16(2)(1966)285-296·Zbl 0143.01602号 [4] Goldstine,J.,Parikh定理的简化证明,Disc。数学19(3)(1977)235-239·Zbl 0364.68075号 [5] Hopcroft,J.E.、Motwani,R.和Ullman,J.D.,《自动机理论、语言和计算导论》,第三版(Addison-Wesley Longman Publishing Co.,Inc.,美国,2006年)·Zbl 0980.68066号 [6] Parikh,R.J.,《语言生成设备》,《季度进度报告》60(1961)199-212。 [7] Verma,K.N.,Seidl,H.和Schwentick,T.,《关于等式Horn子句的复杂性》,《第20届自动演绎国际会议论文集》,CADE’20,《计算机科学讲义3632》(Springer-Verlag,柏林,海德堡,2005),第337-352页·Zbl 1135.94331号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。