1. Which of the following sentences cannot be derived using the following grammar: (Hint: look at the terminal symbols) --> {( + | - ) } --> {( * | / ) } --> a | b | c

		a + b * c
		a + ( b + c )
		a * b * c
		( a - b ) * c

2. What is the weakest precondition for the following assignment statement: x = y * 2 + 10 { x > 20}

		x = 5
		x > 5
		y > 5
		y = 5

3. Which of the following are terminal symbols in the grammar rule: --> ( + | - | / | * ) |

		(
		+
		|

4. Which of the following are nonterminal symbols in the grammar: --> if | if () else

		if
		(
		else