the only thing that requires an infinite band, is a non-halting program. Sure, that's the only type of program that would use the whole tape, but given any tap

the only thing that requires an infinite band, is a non-halting program. Sure, that's the only type of program that would use the whole tape, but given any tape of finite length, there's a (program, input) pair that needs a longer tape.