nondeterministic finite automation question

Question

Im doing some studying and im a bit confused on this little nondeterministic algorithm when it processes a 1. I understand that it will split into a brand with q1 since a 0 or 1 will redirect back, and that theres an exit arrow to q2 is there is a 1, but why would it split into q3? I feel like im misreading the (0,empty string), any clarification would be great.

Answer 1

The empty string means that you can take it at any time. In this case, a 1 will take it to q2 and because q2 has an empty string arrow to q3. It will also immediately take that without having to get the next bit of the input.