ECS 120 1c:2 example DFA deciding binary number congruence

From David Doty