Proving Parikh's theorem using Chomsky-Schutzenberger theorem
Formal Languages and Automata Theory
2018-06-14 v2 Discrete Mathematics
Abstract
Parikh theorem was originally stated and proved by Rohkit Parikh in MIT research report in 1961. Many different proofs of this classical theorems were produced then; our goal is to give another proof using Chomsky-Schutzenberger representation theorem. We present the proof which doesn't use any formal language theory tool at all except the representation theorem, just some linear algebra.
Cite
@article{arxiv.1710.09612,
title = {Proving Parikh's theorem using Chomsky-Schutzenberger theorem},
author = {Dmitry Golubenko},
journal= {arXiv preprint arXiv:1710.09612},
year = {2018}
}
Comments
4 pages, first appeared as solution to an excersize in my formal language course