To remove left recursion from E → Ea|Eb|a|b: The left-recursive productions are E → Ea and E → Eb. The new non-terminal E' handles the recursion. Original productions become E → aE'|bE'. The E' productions are E' → aE'|bE'|ε. This eliminates immediate left recursion.