Consider the grammar
->
->
-> aa
-> epsilon
-> b
-> aa
-> epsilon
Show that the language L() is equal to all strings of a's and b's with an even number of a's. You will need to show that every string generated by the grammar has an even number of a's and that every string with an even number of a's can be generated by the grammar. To show that every string generated by the grammar has an even number of a's, use induction on the number of rule applications. To show that every string with an even number of a's can be generated by the grammar, use induction on the length of the string.
