Generating All Permutations by Context-Free Grammars in Greibach Normal Form

We consider context-free grammars in Greibach normal form and, particularly, in Greibach -form () which generates the finite language of all strings that are permutations of different symbols (). These grammars are investigated with respect to their descriptional complexity, i.e., we determine the number of nonterminal symbols and the number of production rules of as functions of . As in the case of Chomsky normal form these descriptional complexity measures grow faster than any polynomial function.