Example
Derivations
lThe productions are:
lA ¨ V 
lA ¨ V + A
lSample derivations:
1.A Þ V Þ a
2.A Þ V Þ c
3.A Þ V + A Þ c + A Þ c + V Þ c + a
4.A Þ V + A Þ c + A Þ c + V + A Þ c + b + A Þ c + b + V Þ c + b + a
lV ¨ a
lV ¨ b
lV ¨ c