If the item is of the form [ <i>B</i> → β •, <i>k</i> ] then for each item [ <i>A</i> →
α • <i>B</i> γ, <i>j</i> ] in the Earley set denoted by <i>k</i> an item [ <i>A</i> →
α <i>B</i> • γ, <i>j</i> ] is added to the current Earley set.
If the item is of the form [ <i>A</i> → α • <i>B</i> γ, <i>j</i> ] then for each alternative
<i>B</i> → β an item [ <i>B</i> → • β, <i>k</i> ] is added to the current Earley set,
which is denoted by <i>k</i>.
If the item is of the form [ <i>A</i> → α • <i>X</i> γ, <i>i</i> ] where <i>X</i> equals
the current symbol then an item [ <i>A</i> → α <i>X</i> • γ, <i>i</i> ] is added to the next
Earley set.
If the item is of the form [ <i>B</i> → β •, <i>k</i> ] then for each item [ <i>A</i> → α • <i>B</i> γ, <i>j</i> ] in the Earley set denoted by <i>k</i> an item [ <i>A</i> → α <i>B</i> • γ, <i>j</i> ] is added to the current Earley set.
If the item is of the form [ <i>A</i> → α • <i>B</i> γ, <i>j</i> ] then for each alternative <i>B</i> → β an item [ <i>B</i> → • β, <i>k</i> ] is added to the current Earley set, which is denoted by <i>k</i>.
If the item is of the form [ <i>A</i> → α • <i>X</i> γ, <i>i</i> ] where <i>X</i> equals the current symbol then an item [ <i>A</i> → α <i>X</i> • γ, <i>i</i> ] is added to the next Earley set.