Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Simulating Termination Analyzer HHH correctly rejects input DDD Date: Wed, 9 Oct 2024 06:01:53 -0500 Organization: A noiseless patient Spider Lines: 57 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 09 Oct 2024 13:01:54 +0200 (CEST) Injection-Info: dont-email.me; posting-host="226061eba1b9449e8d60367b08997690"; logging-data="2770618"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX181Vjm5zmhMQu9CBnl26SRG" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:MhedD3N5tz377EgW1k7pEZbFq78= Content-Language: en-US In-Reply-To: Bytes: 3455 On 10/9/2024 1:08 AM, Jeff Barnett wrote: > On 10/8/2024 6:49 AM, Andy Walker wrote: >> ... after a short break. >> >>      Richard -- no-one sane carries on an extended discussion with >> someone they [claim to] consider a "stupid liar".  So which are you? >> Not sane?  Or stupid enough to try to score points off someone who is >> incapable of conceding them?  Or lying when you describe Peter?  You >> must surely have better things to do.  Meanwhile, you surely noticed >> that Peter is running rings around you. >> >>      Peter -- you surely have better things to do.  No-one sensible >> is reading the repetitive stuff.  Decades, and myriads of articles, ago >> people here tried to help you knock your points into shape, but anything >> sensible is swamped by the insults.  Free advice, worth roughly what you >> are paying for it:  step back, and summarise [from scratch, not using HHH >> and DDD (etc) without explanation] (a) what it is you think you are >> trying >> to prove and (b) what progress you claim to have made.  No more than one >> side of paper.  Assume that people who don't actively insult you are, in >> fact, trying to help. > > And this approach has been tried many times. It makes no more progress > than the ones you are criticizing. Just assume the regulars are > lonesome, very lonesome and USENET keeps everybody off the deserted > streets at night. HHH is an emulating termination analyzer that takes the machine address of DDD as input then emulates the x86 machine language of DDD until a non-terminating behavior pattern is recognized. HHH recognizes this pattern when HHH emulates itself emulating DDD void DDD() { HHH(DDD); return; } One cannot simply ignore the actual behavior specified by the finite string x86 machine language of DDD such that DDD emulated by each corresponding HHH that can possibly exist never returns thus each of the directly executed HHH emulators that does return 0 correctly reports the above non-terminating behavior. https://github.com/plolcott/x86utm x86utm operating system Every executed HHH that returns 0 correctly reports that DDD emulated by its corresponding HHH never returns. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer