lThe productions are:
lA ¨ M + A | M

lM ¨ V * M | V
lV ¨ a | b
| c
lSample sub-derivations, e.g. from M:
1.M Þ V Þ a
2.M Þ V*M Þ a*M Þ a*V Þ a*b
3.M Þ V*M Þ a*M Þ a*V*M Þ a*b*M Þ a*b*V Þa*b*a
lObservation: Derivations from M will never include any +Ős.