1. (points) HW2 - Describe, in English, the language defined by the following grammar: =: =: a | a =: b 1 b =: c | C 2. (points) HW2 - Consider the following grammar: b =: a =: b =: a b | a Which of the following sentences are in the language generated by this grammar? a. baab b. bbbab c. bbaaaaa d. bbaab 3. (points) HW2 - Explain the four criteria for proving the correctness of a logical pretest loop construct of the form "while B do Send". And prove the correctness of the following: power = 1; i = 1; while( i