Liste des Groupes | Revenir à theory |
On 3/29/2025 10:23 AM, dbush wrote:In such a case, the UTM will not halt, and neither will the input when executed directly.On 3/29/2025 11:12 AM, olcott wrote:I deny that a pathological relationship between a UTM andOn 3/28/2025 11:00 PM, dbush wrote:>On 3/28/2025 11:45 PM, olcott wrote:>>>
It defines that it must compute the mapping from
the direct execution of a Turing Machine
Which does not require tracing an actual running TM, only mapping properties of the TM described.
The key fact that you continue to dishonestly ignore
is the concrete counter-example that I provided that
conclusively proves that the finite string of machine
code input is not always a valid proxy for the behavior
of the underlying virtual machine.
In other words, you deny the concept of a UTM, which can take a description of any Turing machine and exactly reproduce the behavior of the direct execution.
its input can be correctly ignored.
Les messages affichés proviennent d'usenet.