Update DFA.scala