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
No code implementations yet. Submit your code now

Categories


Formal Languages and Automata Theory

Datasets


  Add Datasets introduced or used in this paper