I'm reminded of Manufactoria ( http://pleasingfungus.com/Manufactoria/ ), which does a rather nice job of 'gamifying' a concept that's effectively Turing Machines.