<text> -> a <text> b <text> <text> -> b <text> a <text> <text> -> epsilonwhere "epsilon" is the empty symbol, a terminal.
<stmt> -> if <expr> then <stmt> | <matched_stmt> <matched_stmt> -> if <expr> then <matched_stmt> else <stmt> | <other>Show that this grammar is still ambiguous.