The use of oracles to see if a programme will halt strikes me as unnecessary. Why not define fitness as producing a suitable output within a suitable time (a real organism that always did the most optimal thing, but only did so slowly, wouldn't survive very long).
So one could simply run each programme and see if it produces a result in a specified time, or use output length / time as the fitness (so a fast less accurate result might still be better - consider a real organism again!). Once the time gets too long that no possible output could be fitter than the one you already have, abort the mutated programme and declare it unfit. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
