Simple proof of Parikh's theorem a la Takahashi

TL;DR

This paper presents a straightforward proof of Parikh's theorem using a derivation tree decomposition approach, simplifying the understanding of the theorem's proof.

Contribution

It offers a simplified proof of Parikh's theorem inspired by Takahashi's method, based on a decomposition of derivation trees.

Findings

Simplified proof of Parikh's theorem

Based on derivation tree decomposition

Connects to Takahashi's approach

Abstract

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.