Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Did I encode Sipser correctly? (it seemed too easy) |
| Date | 2022-07-10 00:04 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <87czedubvi.fsf@bsb.me.uk> (permalink) |
| References | (3 earlier) <ztqdna9DoMbFQVT_nZ2dnUU7_8zNnZ2d@giganews.com> <JhlyK.97102$ze2.63628@fx36.iad> <tacnih$14las$1@dont-email.me> <YvlyK.448525$J0r9.661@fx11.iad> <tact7s$1trj$1@gioia.aioe.org> |
Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
> On 09/07/2022 21:26, Richard Damon wrote:
>> On 7/9/22 4:14 PM, André G. Isaak wrote:
>>> On 2022-07-09 14:11, Richard Damon wrote:
>>>
>>>> H is REQUIRED (to be correct) to give the answer that D will give if D will give an answer,
>>>
>>> No, H is required to answer "true" if D will give an answer, regardless of what that answer might be.
>> I though in Sipser, H was supposed to be a decider where H accepts D,x if D will accept x, and
>> reject if D doesn't accept x (either reject or not-answer).
>> D is then defined to accept if T rejects and rejects if T accepts.
>
> Yes, this is what PO is talking about in Sipser. (You use T above,
> but Sipser uses H as the proposed decider, and D as the derived test
> TM for H, which reveals the contradiction.) H is supposed to be
> deciding
>
> A_TM = {<M,w)> : M is a TM and M accepts w}.
>
> H is not PO's normal proposed Halting decider, which has caused some
> confusion.
Can I add a plea? Given the mess that PO has made by ignoring encoding,
I don't think he should be allowed to get away with ignoring it for this
new, closely related, problem. H (in Sipser) is a function of /strings/
so the translation into C should be a function with const char *
parameters. That way PO must explain how to write the string the
represents a computation -- the obvious one being C source code.
I can't be bothered, but there are people still talking to him so why
let him make the same mistakes again?
--
Ben.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 13:08 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 14:41 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:26 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 13:45 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:51 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 14:03 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 15:44 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:03 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:05 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:12 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:20 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:34 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:41 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:51 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 17:05 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 16:24 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:44 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:33 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 16:11 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 14:14 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 16:26 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-07-09 22:50 +0100
Re: Did I encode Sipser correctly? (it seemed too easy) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-07-10 00:04 +0100
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 18:36 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 17:49 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 19:08 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 19:04 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 20:41 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 21:56 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:04 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:21 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 22:50 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-09 19:20 -0700
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:34 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:46 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 22:48 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-10 07:15 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 23:00 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 20:42 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 18:57 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 21:39 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:15 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:23 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:59 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 18:37 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 16:48 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 19:11 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 15:51 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 17:40 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) [wrong source code corrected] olcott <NoOne@NoWhere.com> - 2022-07-09 15:54 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:57 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-10 15:26 +0300
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-10 08:34 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-10 17:30 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-12 16:09 +0300
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-12 08:13 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-12 19:03 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <polcott2@gmail.com> - 2022-07-13 07:45 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-13 16:47 +0300
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-13 09:49 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-13 18:47 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-13 18:43 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-20 10:48 +0300
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-20 07:16 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-20 17:33 +0300
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-20 18:50 -0400
csiph-web