1. Compute the weakest precondition for each of the following assignment statements and postconditions:

a = 2 * (b - 1) - 1 {a > 0}

b = (c + 10) / 3 {b > 6}

1. Prove that the following grammar is ambiguous (show 2 trees):

+ |

a | b | c