Corpus ID: 202712740

Simple proof of Parikh's theorem a la Takahashi

@article{Sinya2019SimplePO,
  title={Simple proof of Parikh's theorem a la Takahashi},
  author={Ryoma Sin'ya},
  journal={ArXiv},
  year={2019},
  volume={abs/1909.09393}
}
  • Ryoma Sin'ya
  • Published 2019
  • Computer Science, Mathematics
  • ArXiv
  • 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. 

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    References

    Publications referenced by this paper.
    SHOWING 1-2 OF 2 REFERENCES
    A characterization of the derivation trees of a context-free grammar and an intercalation theorem
    • 1970
    Language generating devices
    • 1961