Esta propiedad puede ser generalizada al concepto de una secuencia automática.