A program to generate a grammar that describes a given set, but does not match another.