Sujet : Re: Sequence of sequence, selection and iteration matters
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 09. Jul 2024, 20:50:47
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ee5f2371ef699b2907a5a3d8dc3709889b85284f@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 09 Jul 2024 11:44:53 -0500 schrieb olcott:
On 7/9/2024 10:21 AM, Fred. Zwarts wrote:
Op 09.jul.2024 om 16:46 schreef olcott:
On 7/9/2024 9:38 AM, Fred. Zwarts wrote:
*When DDD is correctly emulated by any pure function*
*HHH x86 emulator that can possibly exist* which calls an emulated
HHH(DDD) to repeat this process until the emulated DDD is aborted.
And the fact *that* it aborts, makes the simulation incorrect (as
Sipser would agree with), because the X86 code does not specify an
abort at that point. Therefore, the only conclusion must be: No such
HHH exists.
HHH is fully operational in the x86utm operating system.
It does not fulfill the specification. Your HHH is not the true HHH.
It is bugged.
When DDD is correctly emulated by any pure function x86 emulator HHH
calls an emulated HHH(DDD) this call cannot possibly return. This
prevents the emulated DDD from ever reaching past its own machine
address of 0000216b and halting.
Are you saying that the called HHH(DDD) does not terminate?
HHH is required to report that it must abort the emulaton of its input.
No, why?
HHH cannot correctly report that DDD need not be aborted on the basis of
the behavior of a directly executed DDD(DDD) after HHH has already
aborted its emulated DDD.
Why did it abort DDD then?
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.
Date | Sujet | # | | Auteur |
7 Jul 24 | Sequence of sequence, selection and iteration matters | 133 | | olcott |
7 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 129 | | Mikko |
8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 128 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 46 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 45 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 40 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 39 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 38 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 12 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 11 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 10 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees to something different. | 7 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 6 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 5 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 15 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 14 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 7 | | Mikko |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Richard Damon |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Mikko |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 10 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 9 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 8 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 7 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 4 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 3 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 81 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 80 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 77 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 76 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 74 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 73 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 68 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 67 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | joes |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 64 | | Fred. Zwarts |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 61 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 31 | | joes |
10 Jul 24 | DDD correctly emulated by HHH cannot possibly halt | 30 | | olcott |
10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 29 | | joes |
10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 28 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 27 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 26 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 25 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 24 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 23 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 22 | | olcott |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 21 | | Richard Damon |
11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 20 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 19 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 18 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 17 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 16 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 10 | | joes |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 9 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | Fred. Zwarts |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Mikko |
13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | joes |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 2 | | olcott |
14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt | 5 | | Richard Damon |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | olcott |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | joes |
13 Jul 24 | Re: DDD correctly but partially emulated by HHH cannot possibly be seen to halt by HHH, but do halt | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 29 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 28 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 27 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 26 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 25 | | Fred. Zwarts |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 24 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | Fred. Zwarts |
11 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 20 | | Mikko |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters ---clarification | 1 | | olcott |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- one more freaking time | 1 | | olcott |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | joes |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Mikko |