Formalmente, la autocorrelación discreta formula_9 con un desfase formula_10 para una señal formula_11 es