经由派生树给出的 Parikh 定理最简证明
形式语言与自动机理论
2023-01-03 v1
摘要
Parikh 定理是形式语言理论的基本结果。已有许多证明发表，且许多论文声称给出了简化证明，但其中大多数冗长且仍然复杂。我们给出的证明真正简短、简单，并揭示了这一基本结果的本质。我们遵循接近于 Parikh 原始论文的技术，且我们的证明类似于 Ryoma Sin'ya 2019 年的证明，但我们给出了更详细的阐述并力求更为简单。我们通过非构造性实现了简洁，从而得以避免其他证明所遇到的诸多困难。
引用
@article{arxiv.2301.00047,
title = {The Simplest Proof of Parikh's Theorem via Derivation Trees},
author = {Alexander Rubtsov},
journal= {arXiv preprint arXiv:2301.00047},
year = {2023}
}