Added comments to DFA.java
Rewrote DFATable
Implemented DFATable unit tests