Re: Three Turing machines

Peter_Smith wrote:
Are there any enthusiasts for playing around with Turing machines out
there? :-)

I'm finishing writing something at the moment, and one (short) chapter
introduces the idea of a Turing machine and describes, as examples,
three simple Turing machines. I'd be *really* grateful if some kind
person(s) out there would be interested in checking through and
confirming that the machines work as advertised.

You can download the chapter here:

http://www.phil.cam.ac.uk/teaching_staff/Smith/godelbook/Turing.pdf

(Other corrections gratefully received as well!)

Thanks in advance!!


There are several Turing machine simulators, such as http://ironphoenix.org/tril/tm/. Have you considered formatting your programs for one of them, and watching them run?

Patricia
.

Relevant Pages

  • Re: Arthur ODwyer on the feasibility of simulating a Turing Machine
    ... >> turing machine will execute necessarily a finite number of operations. ... If the universe goes on indefinitely this is wrong. ... Machine simulator exists that is a full simulation of a Turing ... fashion as the privileging of speech over writing. ...
    (comp.programming)
  • Re: Arthur ODwyer on the feasibility of simulating a Turing Machine
    ... > equivalent to Church's thesis re the Turing machine. ... that Marxists would attempt to get involved in mathematical philosophy. ... Initially writing represents speech, and it is very unusual to know how to ... However written language has its own ...
    (comp.programming)
  • Re: David Gerrold - War with the Cthorr
    ... I heard someone propose that just writing down a specification ... consciousness. ... That's a bit like Egan's Dust theory of computation, ...
    (rec.arts.sf.written)
  • Re: David Gerrold - War with the Cthorr
    ... : consciousness. ... just like writing down the specification for the game of basketball ... creates a basketball game, complete with Michael Jordan. ...
    (rec.arts.sf.written)
  • Re: David Gerrold - War with the Cthorr
    ... I heard someone propose that just writing down a specification ... consciousness. ...
    (rec.arts.sf.written)