Provides classes for the definition and manipulation of context free grammars, a type of grammar with restricted left hand sides (i.e. one symbol).