Hacker News new | ask | show | jobs
by russdill 2656 days ago
This seems like a really fine distinction, but it's more of an unbounded tape rather than an infinite tape. The tape can only reach infinite length after infinite time.
1 comments

True, but for a finite-tape machine, the possible outcomes include 'ran out of tape'. Also, for any finite-tape machine, there is a finite-tape machine that computes whether the first halts, runs out of tape, or runs forever.