Answer to test yourself exercise 3 in Augmented Grammar handout

Answer to test yourself exercise 3 in Augmented Grammar handout

The productions of a left-to-right parser for L_xx. The start symbol is S[e].

T ¬ a, where T.STR := "a"
T ¬ b, where T.STR := "b"
T₀ ¬ T₁ a, where T₀.STR := "a"^T₁.STR
T₀ ¬ T₁ b, where T₀.STR := "b"^T₁.STR
T ¬ S, where T.STR := S.STR
S₀ ¬ S₁ a, where S₀.STR := S₁.STR ^ "a^-1"
S₀ ¬ S₁ b, where S₀.STR := S₁.STR ^ "b^-1"