Automata add method buildDFA() Update Solver
Update State: add method setNumber
Update Automata: update method buildDFA()
Update Solver
simple update Automata
simple update Automata
add method print()
simple update