Machine 4 Results
Final configuration is 01{22}^(1024){z}10{l} Ones: 2050 Hops: 3932964 Steps: 737 Otters: 8 Otter Steps: 3885112
Final configuration is 01{22}^(1024){z}10{l} Ones: 2050 Hops: 3932964 Steps: 12201 Otters: 0 Otter Steps: 0
Machine 4: [t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,r,a),t(a,3,1,r,a),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,2,l,z),t(b,3,2,r,b)]
String format: 241rb3la1ra1ra1lb1la2lz2rb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html 2-state 4-symbol #a from Ligocki & Ligocki rewritten into normal form
Table:
Status: halts
Final Configuration: 01{22}^(1024){z}10{l}
Ones: 2050
Hops: 3932964
Steps: 737
Otters: 8
OtterSteps: 3885112
Otter Time: 0.154016
OtterLess Hops: 3932964
OtterLess Time: 0.182018
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[1,1],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,a,[1,1],l,1),trans(a,[0,1],r,b,[1,2],r,3),trans(a,[1,2],r,a,[1,1],r,1),trans(a,[1,1],l,a,[3,1],l,1),trans(a,[1,1],r,a,[3,3],l,2),trans(b,[3,3],l,b,[2,2],r,2),trans(b,[3,1],l,a,[3,3],l,5),trans(a,[2,2],r,a,[2,1],r,1),trans(a,[3,3],l,a,[1,1],r,2),trans(a,[2,1],r,a,[1,1],r,3),trans(a,[3,1],l,a,[3,3],l,3),trans(b,[0,0],l,b,[1,0],l,1),trans(b,[2,2],r,z,[2,2],r,1)]