In this paper, we give a proof of Parikh’s semilinear theorem via Dickson’s lemma. It is notable that our proof provides a clear separation between properties derived from Dickson’s lemma and tree decomposition for context-free grammars.

中文翻译：

---

通过迪克森引理证明帕里克定理

在本文中，我们通过 Dickson 引理给出了 Parikh 半线性定理的证明。值得注意的是，我们的证明明确区分了从迪克森引理派生的属性和上下文无关文法的树分解。