JFLAP

PATE: A tool for parsing restricted and unrestricted grammars and transforming context-free grammers to CNF. - New version of pate is now available (March 2000)

PUMP LEMMA

UH SOFTWARE