A Proof of Parikh’s Theorem via Dickson’s Lemma

2021 ◽  
Vol 32 (02) ◽  
pp. 163-173
Author(s):  
Toshihiro Koga

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.

2016 ◽  
pp. 159-178
Author(s):  
Wolfgang J. Paul ◽  
Christoph Baumann ◽  
Petro Lutsyk ◽  
Sabine Schmaltz

Sign in / Sign up

Export Citation Format

Share Document