def _NumberDFA():
dfa = DFA()
dfa.addStates(["number_0", "NUMBER"])
dfa.state = dfa.states[0]
dfa.final = dfa.states[-1]
dfa.addTransition("number_0", "NUMBER", DIGITS)
dfa.addTransition("NUMBER", "NUMBER", DIGITS)
return dfa
def _IdentifierDFA():
dfa = DFA()
dfa.addStates(["id0", "idfin"])
dfa.state = dfa.states[0]
dfa.final = dfa.states[-1]
dfa.addTransition("id0", "idfin", LETTERS + "_")
dfa.addTransition("idfin", "idfin", DIGITS + LETTERS + "_")
return dfa
