Links for turingmachinepract