Enumerating Finitary Processes

B. D. Johnson, J. P. Crutchfield, and C. J. Ellison

Complexity Sciences Center
Mathematics Department
Physics Department
University of California at Davis
Davis, California 95616 USA
C. S. McTague

DPMMS, Centre for Mathematical Sciences
University of Cambridge
Wilberforce Road, Cambridge
CB3 0WB, England

ABSTRACT: We show how to efficiently enumerate a class of finite-memory stochastic processes using the causal representation of ε-machines. We characterize ε-machines in the language of automata theory and adapt a recent algorithm for generating accessible deterministic finite automata, pruning this over-large class down to that of ε-machines. As an application, we exactly enumerate topological ε-machines up to seven states and six-letter alphabets.


B. D. Johnson, J. P. Crutchfield, C. J. Ellison, and C. S. McTague
"Enumerating Finitary Processes", Entropy 26:12 (2024) 1105.
[pdf] 362 KB

Santa Fe Institute Working Paper: 10-11-027.
arxiv.org: 1011.0036 [cs.FL]. doi: 10.3390/e26121105.