
Ò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