Se puede ver ("Q", δ) como un grafo dirigido etiquetado, conocido como el "grafo de transición" de "T": el conjunto de vértices es "Q", y formula_2 indica que hay una arista etiquetada que va del vértice "q" al vértice "r".