Robuta

https://arxiv.org/abs/2301.00047 [2301.00047] The Simplest Proof of Parikh's Theorem via Derivation Trees Abstract page for arXiv paper 2301.00047: The Simplest Proof of Parikh's Theorem via Derivation Trees parikh s theorem