Re: [No longer about] Olcott [High level TM generators]

From	Wasell <wasell@example.com>
Newsgroups	comp.theory
Subject	Re: [No longer about] Olcott [High level TM generators]
Date	2022-10-27 20:45 +0200
Organization	Never You Mind, Inc.
Message-ID	<MPG.3dc4f00a5d52e22a9896fa@reader.eternal-september.org> (permalink)
References	(13 earlier) <tjbjts$2g9n4$1@dont-email.me> <MPG.3dc441734947519b9896f7@reader.eternal-september.org> <tjeasu$2q8e0$1@dont-email.me> <MPG.3dc4d43dd8fc4b5f9896f9@reader.eternal-september.org> <tjedpt$2q8e0$2@dont-email.me>

Show all headers | View raw

On Thu, 27 Oct 2022 12:06:02 -0500, in article <tjedpt$2q8e0$2@dont-email.me>, 
olcott wrote:

[snip]

> > 
> > Can I now assume that you retract your false claim that nql "does
> > not translate to Turing machines"?
> > 
> 
> Yes you proved your point on this.

Thank you!

> Why does it mention: "NQL uses a different compilation methodology based 
> on register machines"

Because that is part of the method it uses to compile the code to a
TM. A bit like an internal intermediate language.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Olcott lies Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-16 01:28 +0100
  Re: Olcott proves that he is correct olcott <polcott2@gmail.com> - 2022-10-15 20:37 -0500
  Re: Olcott lies Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-10-18 16:17 +0100
    Re: Olcott is proven to be correct to all those paying attention (hardly any) olcott <polcott2@gmail.com> - 2022-10-18 10:37 -0500
    Re: Olcott lies Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 02:44 +0100
      Re: Olcott is provably correct to anyone that pays attention olcott <none-ya@beez-waxes.com> - 2022-10-19 20:51 -0500
      Re: Olcott lies Richard Damon <Richard@Damon-Family.org> - 2022-10-19 22:00 -0400
        Re: Olcott is proven to be correct. olcott <polcott2@gmail.com> - 2022-10-19 22:58 -0500
        Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 10:08 +0100
          Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 12:09 +0100
          Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 07:22 -0400
            Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-20 06:08 -0700
            Re: Turing machines and practical computation Spiros Bousbouras <spibou@gmail.com> - 2022-10-20 14:11 +0000
              Re: Turing machines and practical computation Richard Damon <Richard@Damon-Family.org> - 2022-10-20 17:25 -0400
            Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 15:18 +0100
              Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 16:28 -0400
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 15:50 -0500
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 18:23 -0400
                Re: [still about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 18:07 -0500
                Re: [still about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 20:16 -0400
                Re: [still about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 19:45 -0500
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 00:40 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 20:26 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 23:32 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-21 20:09 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-21 23:07 -0700
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-22 10:06 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-22 08:45 -0700
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-22 20:05 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-22 16:13 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-24 17:45 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-24 22:46 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-29 18:44 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-29 14:50 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-30 05:19 -0700
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-11-02 20:28 +0000
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-11-02 18:15 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-11-07 20:54 +0000
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-11-07 15:04 -0600
                Re: [No longer about] Olcott Richard Damon <news.x.richarddamon@xoxy.net> - 2022-11-07 18:26 -0500
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-11-07 19:02 -0600
                Re: [No longer about] Olcott Jeff Barnett <jbb@notatt.com> - 2022-10-21 18:11 -0600
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-21 21:25 -0400
          Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 09:54 -0500
            Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 16:25 +0100
              Re: [No longer about] Olcott olcott <none-ya@beez-waxes.com> - 2022-10-20 11:05 -0500
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 11:09 -0500
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 18:36 -0400
              Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 20:18 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 00:52 +0100
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-21 02:08 +0100
                Re: [No longer about] Olcott André G. Isaak <agisaak@gm.invalid> - 2022-10-20 19:58 -0600
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 21:08 -0500
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-22 01:00 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-22 00:32 +0100
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-23 20:34 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-24 00:29 +0100
            Re: [No longer about] Olcott Wasell <wasell@example.com> - 2022-10-21 11:12 +0200
              Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 13:04 +0100
              Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-25 09:29 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-26 06:06 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-26 10:32 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 08:20 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 11:16 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 18:46 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 12:06 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 20:45 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 13:56 -0500
                Re: [No longer about] Olcott [High level TM generators] Richard Damon <Richard@Damon-Family.org> - 2022-10-27 18:27 -0400
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 17:53 -0500
                Re: [No longer about] Olcott [High level TM generators] Richard Damon <news.x.richarddamon@xoxy.net> - 2022-10-27 19:27 -0400

csiph-web