We also discussed an MDL based algorithm for grammar compaction to reduce the size of the revised grammar.
using a combination of the algorithms presented in this paper, one can obtain a compact grammar that is guaranteed to disallow the counter-examples.