Machine 3 Results
Final configuration is 01{22}^(44)10{z}00{l} Ones: 90 Hops: 7195 Steps: 287 Otters: 2 Otter Steps: 4576
Final configuration is 01{22}^(44)10{z}00{l} Ones: 90 Hops: 7195 Steps: 493 Otters: 0 Otter Steps: 0
Machine 3: [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,r,a)]
String format: 241rb2la1ra1la3la1rz2rb2ra
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html 2-state 4-symbol #c from P.Michel
Table:
Status: halts
Final Configuration: 01{22}^(44)10{z}00{l}
Ones: 90
Hops: 7195
Steps: 287
Otters: 2
OtterSteps: 4576
Otter Time: 0.040004
OtterLess Hops: 7195
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,[2,2],r,2),trans(a,[2,2],r,a,[2,1],r,1),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,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(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,2],l,a,[1,1],r,2),trans(a,[2,0],l,b,[1,1],r,2),trans(a,[1,2],r,a,[1,1],r,1),trans(b,[2,0],l,a,[2,1],l,5),trans(b,[3,0],l,b,[2,1],r,2),trans(b,[1,0],l,z,[1,0],r,1)]