ECS 120 1c:1 example DFAs deciding input length congruence

From David Doty