Remove left recursions in the grammar: A -> Ab | epsilon B -> c | Bd C -> e | f ____ Fixed? A -> epsilonA' A' -> bA' | epsilon B -> cB' B' -> dB' | epsilon C - > e | f ____ Original problem: DECLS -> DECLS var ID_LIST : TYPE ; | epsilon ID_LIST -> id | ID_LIST , id TYPE -> int | real