Second, how "precise" are the approximations?
how much larger than the original context-free language is the language obtained by a superset approximation, and how much smaller is the language obtained by a subset approximation?