This paper explains how the finitist Wolfram model follows from "Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater" by the world being a non-terminating linear bounded automaton, it can be divided into coordinated finite automata of irreducible classes that makes up a multiway state graph. Other than the short explanation the paper is merely summarizing.
