Ò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