For each state
where Y is a nonterminal anywhere in the RHS, and for all rules expanding Y, add states
A state produced by prediction is called a predicted state. Each prediction corresponds to a potential expansion of a nonterminal in a left-most derivation.