We have the language L(G) = {abb^n a|n ∈ ℤ, n ≥ 0}, where {a, b} is the set of terminal symbols. Which set of production rules for G with start symbol S (a nonterminal) can generate it? (assuming all symbols involved other than the terminal symbols are in the alphabet as nonterminal symbols.)
S → baSab, S → b
S → baSba, S → b
S → aAa, A → aAa, A → b
S → aAa, A → bA, A → b