Le Saturday 10 June 2017 22:50:19 Jos Koot, vous avez écrit : > 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 > > >
Interesting but from a theoretical point of view, when i was student i programmed a Turing machine emulator in PASCAL (still somewhere on the net) , and as example i started to code in Turing states a 8bit addition number, i stopped near the 4th bits, there was so many states... it is interesting for students but for the theory only. Damien -- 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.
