Next State

One character has been consumed and the automaton is now in state q₁. There are two transitions out of the current state. One transition, labeled with a b, leads from state q₁ back to itself. This is OK.