| Deutsch English Français Italiano |
|
<v62ugm$23ell$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Flat out dishonest or totally ignorant?
Date: Wed, 3 Jul 2024 10:27:18 +0300
Organization: -
Lines: 61
Message-ID: <v62ugm$23ell$1@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v606dn$1hg04$1@dont-email.me> <v60rb6$1kr1q$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 03 Jul 2024 09:27:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0286eb983124b0e90ec794fb2c181a3b";
logging-data="2210485"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1//cWhBOZj+LyJ37j9ioq0P"
User-Agent: Unison/2.2
Cancel-Lock: sha1:bQYhp3hZlkjv20a+xa8D7rheDUw=
Bytes: 2752
On 2024-07-02 12:20:54 +0000, olcott said:
> On 7/2/2024 1:23 AM, Mikko wrote:
>> On 2024-07-02 01:25:40 +0000, olcott said:
>>
>>> typedef void (*ptr)();
>>> int HHH(ptr P);
>>>
>>> void Infinite_Loop()
>>> {
>>> HERE: goto HERE;
>>> }
>>>
>>> void Infinite_Recursion()
>>> {
>>> Infinite_Recursion();
>>> }
>>>
>>> void DDD()
>>> {
>>> HHH(DDD);
>>> }
>>>
>>> int main()
>>> {
>>> HHH(Infinite_Loop);
>>> HHH(Infinite_Recursion);
>>> HHH(DDD);
>>> }
>>>
>>> Every C programmer that knows what an x86 emulator is knows
>>> that when HHH emulates the machine language of Infinite_Loop,
>>> Infinite_Recursion, and DDD that it must abort these emulations
>>> so that itself can terminate normally.
>>
>> The "must" there is not quite correct. If the emulator does not abort
>> then it will run forever or until the emulator is aborted by some
>> external agent. That is not a problem unless there is an additional
>> requirement, not specified above, that the emulator must terminate
>> normally.
>
> This <is> the problem that I am willing to discuss.
What is the problem you are willing to discuss?
Are you willing to do anything else about to that problem?
> I am unwilling to discuss any other problem.
> This does meet the Sipser approved criteria.
>
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
> If simulating halt decider H correctly simulates its input D
> until H correctly determines that its simulated D would never
> stop running unless aborted then
>
> H can abort its simulation of D and correctly report that D
> specifies a non-halting sequence of configurations.
> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
--
Mikko