be a sequence of independent identically distributed Bernoulli random variables with Pr
. Consider the
-hypothesis test
versus
. It is shown that, for a time-varying finite memory,
states are necessary and sufficient to resolve the correct hypothesis with a zero-limiting probability of error.