3 ms·

> Except you can bound it, and you can escape it that way. IE "not gotten anywhere after 30 iterations, so don't know". It should go without saying that this s

> Except you can bound it, and you can escape it that way. IE "not gotten anywhere after 30 iterations, so don't know". It should go without saying that this system is not Turing-complete anymore if you bound the runtime.

UncleMeat 10y ago
But you aren't bounding the runtime of the thing. You are bounding the runtime of your abstract interpreter of the thing.
oculusthrift 10y ago
that is correct. the whole point is we can make practical real world tradeoffs and break out of the shackles of theoretical constraints.
Klockan 10y ago
This is like saying that no programming language is Turing-complete since they are all implemented with finite memory.
DannyBee 10y ago
As someone points out, no system we use is really turing complete, since no system has truly infinite memory. In most systems with finite memory, the halting problem is solvable anyway. (this includes linear bounded automatons and deterministic/non-deterministic machines with finite memory). It's just going to take a long ass time.