printMachine[tape_,pos_]:=(mach=IntegerString[tape,2]; ptr=StringReplace[mach,{"0"-> " ","1"->" "}]; Print[mach];Print[StringInsert[ptr,"^",StringLength[ptr]-pos]];); simpleIncr={"q0,1,1,right,q0","q0,B,1,stay,qf"}; simpleIncr=Map[cmp,simpleIncr]/.B->0; fin=utm[simpleIncr,7,2]; printMachine[fin[[1]],fin[[2]]]; busyBeaver3S={ "a,0,1,right,b", "a,1,1,left,c", "b,0,1,left,a", "b,1,1,right,b", "c,0,1,left,b", "c,1,1,stay,halt"}; fin=utm[Map[cmp,busyBeaver3S],0,0]; printMachine[fin[[1]],fin[[2]]];