Certified Normalization of Context-Free Grammars
introduction to automata theory , languages and computation .