ÒInverse McCarthy TransformationÓ
 for Grammars with left-grouping
lRecursion ¨ Iteration
lWorks in some cases, not all
lUse for convenience and readability
Recursive Form

A ¨ V  |  A + V
V ¨ a | b | c
Iterative Form

A ¨ V  { + V }
V ¨ a | b | c
{ } is a meta-symbol meaning Ò0 or more of whatÕs insideÓ
both forms are Òleft groupingÓ
in this example