Is this really any different than the exhaustive investigation of automata by Stephen Wolfram?