Answer to test yourself exercise 1 in Augmented Grammar handout

The productions of the parser that is structurally equivalent to the generator G₁ are as follows.

• S ¬ A B C, where A.COUNT = B.COUNT = C.COUNT
• A₀ ¬ a A₁, where A₀.COUNT := A₁.COUNT + 1
• B₀ ¬ b B₁, where B₀.COUNT := B₁.COUNT + 1
• C₀ ¬ c C₁, where C₀.COUNT := C₁.COUNT + 1
• A ¬ e, where A.COUNT := 0
• B ¬ e, where B.COUNT := 0
• C ¬ e, where C.COUNT := 0