1. Prove that the following CFG G in Greibach normal form generates exactly the set of nonnull strings over [a, b) with equally many a's and (Hint: Strengthen your induction hypothesis to describe the sets of strings generated by the nonterminals A and B: for z , 1. Prove that the following CFG G in Greibach normal form generates exactly the set of nonnull strings over [a, b) with equally many a's and (Hint: Strengthen your induction hypothesis to describe the sets of strings generated by the nonterminals A and B: for z