3 ms·
The only problem is supplying the infinite tape In so far as infinite tape is feasibile, you are correct.
by brudgers 2y ago
The only problem is supplying the infinite tape
In so far as infinite tape is feasibile, you are correct.
- IsTom 2y agoAny useful TM program halts, so you need finite tape. Only figuring out beforehand how much will you need is difficult.
- brudgers 2y agoYou don't want your telephone exchange to halt. That's why the engineering marvel Erlang. "Engineering" being the key word. The Halting problem isn't a real problem. Just pull the power cord.
- IsTom 2y agoYou want every call handled in finite time. It's not that there is an unending computation in a telephone exchange, but a series of finite tasks. You can call it corecursion, coinduction or something else co-.