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.
a▷# : a▷ • # ->>     1 • b▷ • #.
#◁a : # • ◁a ->> # • 1 • b▷.

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

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

d▷0 : d▷ • 0 ->> 1 • d▷.
0◁d : 0 • ◁d ->> 1 • d▷.
d▷1 : d▷ • 1 ->> 0 • a▷.
1◁d : 1 • ◁d ->> 0 • a▷.  
d▷# : d▷ • # ->>     1 • d▷ • #.
#◁d : # • ◁d ->> # • 1 • d▷.
%trace * 
  # • a▷ • #.
#a▷#
#1b▷#
#1◁a1#
#◁b11#
#◁a111#
#1b▷111#
#1◁c011#
#◁d1011#
#1d▷1011#
#10a▷011#
#101b▷11#
#101◁c01#
#10◁d101#
#11d▷101#
#110a▷01#
#1101b▷1#
#1101◁c0#
#110◁d10#
#111d▷10#
#1110a▷0#
#11101b▷#
#11101◁a1#
#1110◁b11#
#111◁a111#
#11◁b1111#
#1◁c01111#
#◁d101111#
#1d▷101111#
#10a▷01111#
#101b▷1111#
#101◁c0111#
#10◁d10111#
#11d▷10111#
#110a▷0111#
#1101b▷111#
#1101◁c011#
#110◁d1011#
#111d▷1011#
#1110a▷011#
#11101b▷11#
#11101◁c01#
#1110◁d101#
#1111d▷101#
#11110a▷01#
#111101b▷1#
#111101◁c0#
#11110◁d10#
#11111d▷10#
#111110a▷0#
#1111101b▷#
#1111101◁a1#
#111110◁b11#
#11111◁a111#
#1111◁b1111#
#111◁c01111#
#11◁d101111#
#10a▷101111#
#10◁b101111#
#1◁a1101111#
#◁b11101111#
#◁a111101111#
#1b▷111101111#
#1◁c011101111#
#◁d1011101111#
#1d▷1011101111#
#10a▷011101111#
#101b▷11101111#
#101◁c01101111#
#10◁d101101111#
#11d▷101101111#
#110a▷01101111#
#1101b▷1101111#
#1101◁c0101111#
#110◁d10101111#
#111d▷10101111#
#1110a▷0101111#
#11101b▷101111#
#11101◁c001111#
#1110◁d1001111#
#1111d▷1001111#
#11110a▷001111#
#111101b▷01111#
#111101◁a11111#
#11110◁b111111#
#1111◁a1111111#
#111◁b11111111#
#11◁c011111111#
#1◁d1011111111#
#0a▷1011111111#
#0◁b1011111111#
#◁a11011111111#
#1b▷11011111111#
#1◁c01011111111#
#◁d101011111111#
#1d▷101011111111#
#10a▷01011111111#
#101b▷1011111111#
#101◁c0011111111#
#10◁d10011111111#
#11d▷10011111111#
#110a▷0011111111#
#1101b▷011111111#
#1101◁a111111111#
#110◁b1111111111#
#11◁a11111111111#
#1◁b111111111111#
#◁c0111111111111#
#1h0111111111111#