Parikh定理的又一证明
形式语言与自动机理论
2022-10-07 v1
摘要
Parikh定理指出,上下文无关语言的Parikh像是半线性的。我们利用Verma、Seidl和Schwentick基于Presburger算术的表述,给出Parikh定理的一个简短证明。该证明依赖于上下文无关语言派生树的欧拉性质,并受Hierholzer算法启发;它不使用Chomsky范式。
引用
@article{arxiv.2210.02925,
title = {Yet another proof of Parikh's Theorem},
author = {Manfred Kufleitner},
journal= {arXiv preprint arXiv:2210.02925},
year = {2022}
}