As an alternative to the batch means (BM) method in the stopping rule for symbolic dynamic filtering, this short paper presents an analytical procedure to estimate the variance parameter and to obtain a lower bound on the length of symbol blocks for constructing probabilistic finite state automata (PFSA). If the modulus of the second largest eigenvalue of the PFSA’s state transition matrix is r...