Parikh's Theorem and Descriptional Complexity

It is well known that for each context-free language there exists a regular language with the same Parikh image. We investigate this result from a descriptional complexity point of view, by proving tight bounds for the size of deterministic automata accepting regular languages Parikh equivalent to some kinds of context-free languages. First, we prove that for each context-free grammar in Chomsky normal form with a fixed terminal alphabet and 11 variables, generating a bounded language L, there exists a deterministic automaton with at most 2(hO(1)) states accepting a regular language Parikh equivalent to L. This bound, which generalizes a previous result for languages defined over a one letter alphabet, is optimal. Subsequently, we consider the case of arbitrary context-free languages defined over a two letter alphabet. Even in this case we are able to obtain a similar bound. For alphabets of at least three letters the best known upper bound is a double exponential in h.