3 ms·

How can you make progress if your first generated program does not halt?

• gpm 8y ago
  Run things in parallel. The idea behind most enumeration algorithms looks like this: machines = {} next_program = 0 loop forever: machines.insert(new_turing_machine(next_program)) next_program++ for machine in machines: machine.step() if machine.halted(): machines.remove(machine) if machine has output we want: yield machine
  • deleted 8y ago
    [deleted]