Over at Good Math, Bad Math (a wonderful blog i wholeheartedly recommend), Mark Chu-Carroll has published a minsky machine to play with, implemented in Scheme. In case you’re wondering, Mark also explains what a minski machine is (and why they’re equivalent to Turing machines). Minski machines are sometimes called register machines: a bit more on them here and here.
For additional fun (if you feel like philosophizing a bit) see also this other kind of Minski machine.
Tags: lambda calculus, scheme




