7. (3pts) Show a leftmost derivation for aaabbb using your grammar

8. (3pts) Write an EBNF statement for a C float constant.

9. (3pts) Compute the weakest precondition for the following assignment statement given the postcondition.

z = 2y 1; { z > 1}