En el comienzo del proceso de reconocimiento de una cadena de entrada, el autómata finito se encuentra en el "estado inicial" y a medida que procesa cada símbolo de la cadena va cambiando de estado de acuerdo a lo determinado por la "función de transición".