A compiler designer writes following grammar to support if-then-else statement: stmt if expr then stmt | if expr then stmt else stmt other Then he realizes that the grammar is ambiguous. So he rewrites the grammar as follows to remedy the dangling-else ambiguity: stmt if expr then stmt | matched_stmt matched_stmt if expr then matched_stmt else stmt other