Theory of Computation: construct the dfa