Added Alex for BuildDFA to work