We study a class of filters—discrete finite-state transition systems employed as incremental
stream transducers—that have application to robotics: eg, to model combinatorial estimators …