帕里克定理的又一个证明
摘要：Parikh 定理的简要证明：使用 Verma、Seidl 和 Schwentick 的推导树欧拉性质以及 Hierholzer 算法，我们在 Presburger 算术的框架下给出了对于上下文无关语言的 Parikh 图像是半线性的 Parikh 定理的简短证明。不使用 Chomsky 正规形式。
作者：Manfred Kufleitner
论文ID：2210.02925
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-07