Nullable nonterminals: (exp) The starters of non-terminals: exp -> (LPAR | SYM) term -> (LPAR | SYM) The followers of nullable non-terminals: exp -> ($END | LPAR | RPAR | SYM) *** Annotated grammar *** #exp : ($END | LPAR | RPAR | SYM) /* empty */ | (LPAR | SYM) *** Conflict !!! *** #exp term ; term : (SYM) SYM | (LPAR) LPAR #exp RPAR ;