Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Overview of proof that the input to HHH(DDD) specifies non-halting
 behavior
Date: Mon, 12 Aug 2024 20:43:49 -0500
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <v9edol$3metk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 Aug 2024 03:43:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5789d119f15570941a39cdb59159ffa5";
	logging-data="3881908"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/tQJBopOxbgrvScFDA3r4g"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BEoFyrDF/TuJuZQefKC2keuA6Hg=
Content-Language: en-US
Bytes: 1640

We prove that the simulation is correct.
Then we prove that this simulation cannot possibly
reach its final halt state / ever stop running without being aborted.
The semantics of the x86 language conclusive proves this is true.

Thus when we measure the behavior specified by this finite
string by DDD correctly simulated/emulated by HHH it specifies
non-halting behavior.

https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer