Parikh's Theorem: A simple and direct automaton construction

Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger

Parikh's theorem states that the Parikh image of a context-free language is semilinear or, equivalently, that every context-free language has the same Parikh image as some regular language. We present a very simple construction that, given a context-free grammar, produces a finite automaton recognizing such a regular language.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment