Generating all permutations by context-free grammars in Greibach normal form