Formalmente, se distingue de la 5-tupla que define a un autómata finito determinista en su función de transición.