# Meaning of $a\lor b \to b' \lor c'$

So I have done part a) but I have no clue what I am supposed to do for part b), I have been trying for days to wrap my head around and even asked my fellow course mates, none of which seem to know themselves.

The way I understand it they give me automaton of

a->b->c

But what do they mean about the next state a',b',c' automaton for which is not displayed.

If the current state is one of $$a,b$$, then the following state is one of $$b,c$$.