Add DFA.hs and its test.

We can get a DFA from a string of regular-expression and simulate it. But simulate function may be changed because the interface is undecided. Refactoring will also be done.