3 ms·
See above - there is no reliable procedure (algorithm) that would allow you to build a TM with arbitrary properties (ie. implementing arbitrary requirements).
by mkleczek 4y ago
See above - there is no reliable procedure (algorithm) that would allow you to build a TM with arbitrary properties (ie. implementing arbitrary requirements).
- SAI_Peregrinus 4y agoPrograms don't have to have Turing-complete behavior. Compilers do, but not every program needs to implement uncomputable behavior on its inputs.
- mkleczek 4y agoActually it's the other way around: In reality most interesting programs accept Turing complete languages - albeit not formally specified :)