Create DFA.java