A variable A in a Context Free Grammar, G, is
persistent if it appears in every derivation of every string w in
G. Given a Context Free Grammar, G and a
variable A, consider the problem of testing whether A is
persistent. Formulate this problem as a language and show that it
is decidable.