Cette fonction de transition indique l'automate qui indique d'aller à la suite étant donné un état courant et un symbole courant.
Un diagramme qui montre tous les états, et les transitions d'une telle machine est appelé diagramme d'état fini.