1 paper · 1 filter
Ryoma Sin'ya
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 th…