Tiny Ollibot Example Server - Call-by-need functions

4-state, 2-symbol busy beaver Turing machine

a▷0 : a▷ • 0 ->> 1 • b▷.
0◁a : 0 • ◁a ->> 1 • b▷.
a▷1 : a▷ • 1 ->> ◁b • 1.
1◁a : 1 • ◁a ->> ◁b • 1.

b▷0 : b▷ • 0 ->> ◁a • 1.
0◁b : 0 • ◁b ->> ◁a • 1.
b▷1 : b▷ • 1 ->> ◁c • 0.
1◁b : 1 • ◁b ->> ◁c • 0.

c▷0 : c▷ • 0 ->> 1 • h.
0◁c : 0 • ◁c ->> 1 • h.
c▷1 : c▷ • 1 ->> ◁d • 1.
1◁c : 1 • ◁c ->> ◁d • 1.

d▷0 : d▷ • 0 ->> 1 • d▷.
0◁d : 0 • ◁d ->> 1 • d▷.
d▷1 : d▷ • 1 ->> 0 • a▷.
1◁d : 1 • ◁d ->> 0 • a▷.
%trace * 
  0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0
  • a▷ •
  0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0.
0000000000000000a▷0000000000000000
00000000000000001b▷000000000000000
00000000000000001◁a100000000000000
0000000000000000◁b1100000000000000
000000000000000◁a11100000000000000
000000000000001b▷11100000000000000
000000000000001◁c01100000000000000
00000000000000◁d101100000000000000
00000000000001d▷101100000000000000
000000000000010a▷01100000000000000
0000000000000101b▷1100000000000000
0000000000000101◁c0100000000000000
000000000000010◁d10100000000000000
000000000000011d▷10100000000000000
0000000000000110a▷0100000000000000
00000000000001101b▷100000000000000
00000000000001101◁c000000000000000
0000000000000110◁d1000000000000000
0000000000000111d▷1000000000000000
00000000000001110a▷000000000000000
000000000000011101b▷00000000000000
000000000000011101◁a10000000000000
00000000000001110◁b110000000000000
0000000000000111◁a1110000000000000
000000000000011◁b11110000000000000
00000000000001◁c011110000000000000
0000000000000◁d1011110000000000000
0000000000001d▷1011110000000000000
00000000000010a▷011110000000000000
000000000000101b▷11110000000000000
000000000000101◁c01110000000000000
00000000000010◁d101110000000000000
00000000000011d▷101110000000000000
000000000000110a▷01110000000000000
0000000000001101b▷1110000000000000
0000000000001101◁c0110000000000000
000000000000110◁d10110000000000000
000000000000111d▷10110000000000000
0000000000001110a▷0110000000000000
00000000000011101b▷110000000000000
00000000000011101◁c010000000000000
0000000000001110◁d1010000000000000
0000000000001111d▷1010000000000000
00000000000011110a▷010000000000000
000000000000111101b▷10000000000000
000000000000111101◁c00000000000000
00000000000011110◁d100000000000000
00000000000011111d▷100000000000000
000000000000111110a▷00000000000000
0000000000001111101b▷0000000000000
0000000000001111101◁a1000000000000
000000000000111110◁b11000000000000
00000000000011111◁a111000000000000
0000000000001111◁b1111000000000000
000000000000111◁c01111000000000000
00000000000011◁d101111000000000000
00000000000010a▷101111000000000000
00000000000010◁b101111000000000000
0000000000001◁a1101111000000000000
000000000000◁b11101111000000000000
00000000000◁a111101111000000000000
00000000001b▷111101111000000000000
00000000001◁c011101111000000000000
0000000000◁d1011101111000000000000
0000000001d▷1011101111000000000000
00000000010a▷011101111000000000000
000000000101b▷11101111000000000000
000000000101◁c01101111000000000000
00000000010◁d101101111000000000000
00000000011d▷101101111000000000000
000000000110a▷01101111000000000000
0000000001101b▷1101111000000000000
0000000001101◁c0101111000000000000
000000000110◁d10101111000000000000
000000000111d▷10101111000000000000
0000000001110a▷0101111000000000000
00000000011101b▷101111000000000000
00000000011101◁c001111000000000000
0000000001110◁d1001111000000000000
0000000001111d▷1001111000000000000
00000000011110a▷001111000000000000
000000000111101b▷01111000000000000
000000000111101◁a11111000000000000
00000000011110◁b111111000000000000
0000000001111◁a1111111000000000000
000000000111◁b11111111000000000000
00000000011◁c011111111000000000000
0000000001◁d1011111111000000000000
0000000000a▷1011111111000000000000
0000000000◁b1011111111000000000000
000000000◁a11011111111000000000000
000000001b▷11011111111000000000000
000000001◁c01011111111000000000000
00000000◁d101011111111000000000000
00000001d▷101011111111000000000000
000000010a▷01011111111000000000000
0000000101b▷1011111111000000000000
0000000101◁c0011111111000000000000
000000010◁d10011111111000000000000
000000011d▷10011111111000000000000
0000000110a▷0011111111000000000000
00000001101b▷011111111000000000000
00000001101◁a111111111000000000000
0000000110◁b1111111111000000000000
000000011◁a11111111111000000000000
00000001◁b111111111111000000000000
0000000◁c0111111111111000000000000
0000001h0111111111111000000000000