In general, figuring out which subroutines are required involves solving the halting problem. But that cannot be solved by a Turing machine.