6 ms·
There’s an important difference between Turing machines and computers: unlimited memory. For a computer with limited memory, of course you can determine whether
by zeroimpl 5y ago
There’s an important difference between Turing machines and computers: unlimited memory. For a computer with limited memory, of course you can determine whether a program halts, because if it doesn’t halt then eventually the state machine must loop back to a prior state.
I find this answer on quora to the question of why Turing machines are a good model to be insightful: https://qr.ae/pGGCmq https://qr.ae/pGGCmq