Machine 1 Results
Final configuration is 01{22}^(41)10{z}00{l} Ones: 84 Hops: 6445 Steps: 284 Otters: 2 Otter Steps: 3706
Final configuration is 01{22}^(41)10{z}00{l} Ones: 84 Hops: 6445 Steps: 460 Otters: 0 Otter Steps: 0
Machine 1: [t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(a,3,1,l,a),t(b,0,3,l,a),t(b,1,1,r,z),t(b,2,2,r,b),t(b,3,2,l,a)]
String format: 241rb2la1ra1la3la1rz2rb2la
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html 2-state 4-symbol #a from P.Michel
Table:
Status: halts
Final Configuration: 01{22}^(41)10{z}00{l}
Ones: 84
Hops: 6445
Steps: 284
Otters: 2
OtterSteps: 3706
Otter Time: 0.042004
OtterLess Hops: 6445
OtterLess Time: 0.008001
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[2,3],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,3],l,a,[1,1],r,4),trans(a,[1,1],r,a,[2,2],l,2),trans(a,[0,1],r,b,[1,2],r,3),trans(b,[2,2],l,b,[2,2],r,2),trans(a,[2,2],r,a,[2,1],r,1),trans(a,[2,2],l,a,[1,1],r,2),trans(a,[2,3],l,a,[2,1],l,3),trans(a,[2,1],r,a,[1,1],r,3),trans(a,[2,1],l,a,[2,2],l,3),trans(a,[1,2],r,a,[1,1],r,1),trans(b,[0,0],l,a,[3,0],l,1),trans(a,[3,0],l,a,[1,0],l,1),trans(a,[1,0],l,a,[2,0],l,1),trans(a,[2,0],l,b,[1,1],r,2),trans(b,[2,0],l,a,[2,1],l,5),trans(b,[1,0],l,z,[1,0],r,1)]