Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory
Subject: Re: Correcting misconceptions of Ben Bacarisse
Date: Wed, 28 Aug 2024 00:58:05 +0200
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <valm9n$35nac$1@dont-email.me>
References: <va104l$376ed$4@dont-email.me> <va13po$376ed$7@dont-email.me>
 <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org>
 <va24hl$3cvgv$1@dont-email.me>
 <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org>
 <va38qh$3ia79$1@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me>
 <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org>
 <va63uu$2fo9$1@dont-email.me>
 <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org>
 <va65r8$6ht7$1@dont-email.me>
 <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org>
 <878qwn0wyz.fsf@bsb.me.uk>
 <efacnfsQdv-ErlT7nZ2dnZfqnPadnZ2d@brightview.co.uk>
 <87le0jzc8f.fsf_-_@bsb.me.uk> <vai295$2fqcl$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 28 Aug 2024 01:08:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="83db671ba2a08c665eb37618ccaaca45";
	logging-data="3333452"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19wEwyrH+/0ucX5t0Nh3hIu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AdquWGDXAS7u8eejWodivGs5x/o=
Content-Language: en-US
In-Reply-To: <vai295$2fqcl$1@dont-email.me>
Bytes: 2261

On 26/08/24 16:08, olcott wrote:
> (a) Sipser_D calls Sipser_H
> (b) that simulates Sipser_D with an x86 emulator
> (c) that calls Sipser_H
> (d) that simulates Sipser_D with an x86 emulator ...
> 
> Until Sipser_H aborts the simulation of its input and returns 0.

Sipser_H either does not do this, or it does it wrongly. There is no 
third option.