Su funcionamiento se basa en una función de transición, que recibe a partir de un "estado inicial" una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un "estado final" o "de aceptación", que representa la salida.