On Realizability of Finite Autocorrelation Functions

We give a necessary and sufficient condition for a continuous positive definite function $R(\tau) (-\infty<\tau<+\infty)$ to be compactly supported. A generalization to the matrix-valued and operator-valued cases is presented.