can make the uncomplete automata complete, and make the state type from int to string which is less limited