Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

The Simplest Proof of Parikh's Theorem via Derivation Trees (2301.00047v1)

Published 30 Dec 2022 in cs.FL

Abstract: Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that is really short, simple and discloses the nature of this fundamental result. We follow the technique closed to the original Parikh's paper and our proof is similar to the proof by Ryoma Sin'ya 2019, but we provide more detailed exposition and pretend to more simplicity as well. We achieve the simplicity via nonconstructivenes that allows us avoiding many difficulties met by other proofs.

Summary

We haven't generated a summary for this paper yet.