ECS 120 4a:3 proof DFAs can simulate NFAs with no epsilon-transitions

From David Doty