Archivo:Deterministicfiniteautomaton.svg


Las entradas numéricas denotan funciones que asignan un estado a otro estado; por ejemplo , 021 abrevia el estado de asignación de función 0, 1 y 2 al estado 0, 2 y 1, respectivamente; esta es la función para digerir una entrada " a ". La tabla muestra el resultado de la composición de funciones , por ejemplo, 021 ∘ 111 = 222 y 111 ∘ 021 = 111. Las entradas grises dan la cadena de entrada más corta correspondiente a una función.