Suppose we conveniently extended the standard concept of cellular automaton to include
graphs and state-spaces of any cardinality and that the transition function F belonged to a certain adequate notion of "(hyper)computable function". We call this a hyper-cellular automaton HCA.
Consider the postulate: the universe can be described by a HCA with transition function F.
We cannot escape the problem of the initial condition Q_0. In the Wolfram Classification random initial condition are considered. Hence expediency for some topology of measure on Q.
It is an empirical fact that this HCA must be WC4 "complex patterns of localised structures" in the Wolfram Classification.
A major problem in the goal of reverse engineering F is that we do not have evolutions for other initial conditions at our disposal neither for the universe nor for subsystems of the universe. For physics at least a lot of locality and invariance hypothesis come in to play to justify the universality of experimental conclusions. The chemistry we observe on earth must also be that of the most distant star.
For biology the situation is drastically different. My question is: how can biology go beyond being a merely descriptive or descriptive-hypothetical science ?
How can the natural language based, often highly metaphorical and anthropomorphic, descriptions given in evolutionary biology, be translated into rigorous formal concepts involving a HCA ?
We need a general qualitative theory of emergent complex behaviour in cellular automata.