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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.