Sujet : Re: Correcting misconceptions of Ben Bacarisse
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 28. Aug 2024, 00:58:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <valm9n$35nac$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
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.
…