< expression >::= (< expression >)| < expression > + < expression > | < expression >
∗ < expression > | < variable >
< variable >::= x|y
b) Find a derivation tree for (x ∗ y) + x in this grammar.
Solution
a) S → (S)|S + S|S ∗ S|A, A → x|y.
b)
S
+
S
S
S
A
(
)
x
S
*
S
A
A
y
x
8