Sujet : Re: DD correctly simulated by HH --- never stops running without aborting its simulation
De : news2 (at) *nospam* immibis.com (olcott)
Groupes : comp.theory sci.logicDate : 07. Jun 2024, 14:38:03
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3v2fr$1o9em$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 7/06/24 15:21, olcott wrote:
main() does meet the Sipser approved criteria and you cannot
possibly show otherwise.
If simulating halt decider HH correctly simulates its input main
until HH correctly determines that its simulated main would never
stop running unless aborted then
It does not meet the criteria because the simulating halt decider HH does not correctly simulate its input.
DD correctly simulated by HH --- never stops running without aborting its simulation
Re: DD correctly simulated by HH --- never stops running without aborting its simulation