Summary on Automata
nUniversal constructors far too complex.
nSpecial constructors too specialized, too fragile to handle mutations.
nNeed to build automata that are:
ngeneral enough to be flexible,
nare robust, and
nnot too complex to form randomly.
nThis looks to be impossible.