So anytime that we have multiple moves out of the state on a single input we could always replace that by a few more states with epsilon moves and have every state in the machine only have a single transition for every possible input. 