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.
生成讲解博客的中文版本
生成AI智能校验的中文版本