ECS 120 3a:3 DFA union (product construction) example

From David Doty