Done with automaton, states, alphabet and tFunction.