Een nieuw soort Turingmachine

Vorige maand schreef ik in PC-Active over de cellulaire automaten in Stephen Wolframs boek A New Kind of Science. In het novembernummer van PC-Active staat het vervolgartikel, waarin ik dieper inga op Turingmachines en de prijs die Wolfram heeft uitgeloofd om te bewijzen dat een bepaalde berekeningsregel de eenvoudigste universele Turingmachine is.
Een Turingmachine, in 1936 [...]