Consider a Turing Machine which (1) reads all its input and (2) accepts inputs arbitrarily large. Given the affirmative answer to the previous question that there must be a loop in the finite-state control as its inputs get larger, could we conclude that there may be more than one loop in such a machine? That is, there could be several loops, not just one?
Asked
Active
Viewed 103 times
