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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。