The problem with the algorithm in Problem D3 is the step "add your original number." It's not clear how to model that with machines. Even if we are able to adapt the machine metaphor to work, we can't "undo" that step of the process.

Consider going through a symbolic representation of the algorithm to see that it does not share this weakness with the machine, because you can combine terms, essentially creating an equivalent algorithm that you can undo: