Added DFA.py

Added the initial version of DFA.py, not completed yet.

Still adding closure operations and some other features.