Simple proof of Parikh's theorem a la Takahashi

20 Sep 2019  ·  Sin'ya Ryoma ·

In this report we describe a simple proof of Parikh's theorem a la Takahashi, based on a decomposition of derivation trees. The idea of decomposition is appeared in her master's thesis written in 1970.

PDF Abstract

Code
Add Remove Mark official

No code implementations yet. Submit your code now

Categories

Formal Languages and Automata Theory

Datasets

  Add Datasets introduced or used in this paper
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy