19 lines
500 B
Plaintext
19 lines
500 B
Plaintext
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]]];
|