To whom is interested. Jay McCarthy has a nice page about how to program Turing machines: http://jeapostrophe.github.io/2013-10-29-tmadd-post.html.
Because I did not immediately see his implementation of producing a Turing machine as a Racket procedure, I made one myself : https://github.com/joskoot/turing such as to play with his ideas. My version contains much material inspired by Jay McCarthy, but goes further, as far as including a universal Turing machine in the document https://github.com/joskoot/turing/blob/master/make-TM.scrbl. The documentation is long because it contains many elaborated examples. Although the Turing machines produced by my procedure make-TM are very fast, producing the documentation from make-TM.scrbl may take up to 30 seconds on my simple computer. You may need 1 Mbyte or more to run my modules. I use 4 Mbytes. Hope you enjoy it. Criticisme welcome, of course, Jos -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.

