Copy transitions list logic for states as well, add skeleton of recursive building of an automaton