[math-fun] DNA-tape Turing Machines ?