I think that unless Wolfram is directly contradicting the Church-Turing thesis it is ok to skip over the finite automata sections. It is a given from Church-Tu

I think that unless Wolfram is directly contradicting the Church-Turing thesis it is ok to skip over the finite automata sections. It is a given from Church-Turing that some automata will be equivalent to some turing machines, and while it is a profound result the specific details of the equivalence isn't super important unless, perhaps, it becomes super fast and efficient to run the automata instead of Von Neumann architecture.