Tiny Ollibot Example Server - Call-by-need functions

5-state, 2-symbol busy beaver Turing machine (conjectured)

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

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

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

d▷0 : d▷ • 0 ->> ◁a • 1.
0◁d : 0 • ◁d ->> ◁a • 1.
d▷1 : d▷ • 1 ->> ◁d • 1.
1◁d : 1 • ◁d ->> ◁d • 1.  
d▷# : d▷ • # ->>     ◁a • 1 • #.
#◁d : # • ◁d ->> # • ◁a • 1.

e▷0 : e▷ • 0 ->> 1 • h▷.
0◁e : 0 • ◁e ->> 1 • h▷.
e▷1 : e▷ • 1 ->> ◁a • 0.
1◁e : 1 • ◁e ->> ◁a • 0.  
e▷# : e▷ • # ->>     1 • h▷ • #.
#◁e : # • ◁e ->> # • 1 • h▷.

The next line would take 47,176,870 steps to run to completion if we did not limit it to 200 steps here.

%trace 200 # • a▷ • #.
#a▷#
#1b▷#
#11c▷#
#111d▷#
#111◁a1#
#11◁c11#
#1◁e011#
#◁a0011#
#1b▷0011#
#11c▷011#
#111d▷11#
#111◁d11#
#11◁d111#
#1◁d1111#
#◁d11111#
#◁a111111#
#1b▷111111#
#11b▷11111#
#111b▷1111#
#1111b▷111#
#11111b▷11#
#111111b▷1#
#1111111b▷#
#11111111c▷#
#111111111d▷#
#111111111◁a1#
#11111111◁c11#
#1111111◁e011#
#111111◁a0011#
#11111◁c10011#
#1111◁e010011#
#111◁a0010011#
#11◁c10010011#
#1◁e010010011#
#◁a0010010011#
#1b▷0010010011#
#11c▷010010011#
#111d▷10010011#
#111◁d10010011#
#11◁d110010011#
#1◁d1110010011#
#◁d11110010011#
#◁a111110010011#
#1b▷111110010011#
#11b▷11110010011#
#111b▷1110010011#
#1111b▷110010011#
#11111b▷10010011#
#111111b▷0010011#
#1111111c▷010011#
#11111111d▷10011#
#11111111◁d10011#
#1111111◁d110011#
#111111◁d1110011#
#11111◁d11110011#
#1111◁d111110011#
#111◁d1111110011#
#11◁d11111110011#
#1◁d111111110011#
#◁d1111111110011#
#◁a11111111110011#
#1b▷11111111110011#
#11b▷1111111110011#
#111b▷111111110011#
#1111b▷11111110011#
#11111b▷1111110011#
#111111b▷111110011#
#1111111b▷11110011#
#11111111b▷1110011#
#111111111b▷110011#
#1111111111b▷10011#
#11111111111b▷0011#
#111111111111c▷011#
#1111111111111d▷11#
#1111111111111◁d11#
#111111111111◁d111#
#11111111111◁d1111#
#1111111111◁d11111#
#111111111◁d111111#
#11111111◁d1111111#
#1111111◁d11111111#
#111111◁d111111111#
#11111◁d1111111111#
#1111◁d11111111111#
#111◁d111111111111#
#11◁d1111111111111#
#1◁d11111111111111#
#◁d111111111111111#
#◁a1111111111111111#
#1b▷1111111111111111#
#11b▷111111111111111#
#111b▷11111111111111#
#1111b▷1111111111111#
#11111b▷111111111111#
#111111b▷11111111111#
#1111111b▷1111111111#
#11111111b▷111111111#
#111111111b▷11111111#
#1111111111b▷1111111#
#11111111111b▷111111#
#111111111111b▷11111#
#1111111111111b▷1111#
#11111111111111b▷111#
#111111111111111b▷11#
#1111111111111111b▷1#
#11111111111111111b▷#
#111111111111111111c▷#
#1111111111111111111d▷#
#1111111111111111111◁a1#
#111111111111111111◁c11#
#11111111111111111◁e011#
#1111111111111111◁a0011#
#111111111111111◁c10011#
#11111111111111◁e010011#
#1111111111111◁a0010011#
#111111111111◁c10010011#
#11111111111◁e010010011#
#1111111111◁a0010010011#
#111111111◁c10010010011#
#11111111◁e010010010011#
#1111111◁a0010010010011#
#111111◁c10010010010011#
#11111◁e010010010010011#
#1111◁a0010010010010011#
#111◁c10010010010010011#
#11◁e010010010010010011#
#1◁a0010010010010010011#
#◁c10010010010010010011#
#1d▷10010010010010010011#
#1◁d10010010010010010011#
#◁d110010010010010010011#
#◁a1110010010010010010011#
#1b▷1110010010010010010011#
#11b▷110010010010010010011#
#111b▷10010010010010010011#
#1111b▷0010010010010010011#
#11111c▷010010010010010011#
#111111d▷10010010010010011#
#111111◁d10010010010010011#
#11111◁d110010010010010011#
#1111◁d1110010010010010011#
#111◁d11110010010010010011#
#11◁d111110010010010010011#
#1◁d1111110010010010010011#
#◁d11111110010010010010011#
#◁a111111110010010010010011#
#1b▷111111110010010010010011#
#11b▷11111110010010010010011#
#111b▷1111110010010010010011#
#1111b▷111110010010010010011#
#11111b▷11110010010010010011#
#111111b▷1110010010010010011#
#1111111b▷110010010010010011#
#11111111b▷10010010010010011#
#111111111b▷0010010010010011#
#1111111111c▷010010010010011#
#11111111111d▷10010010010011#
#11111111111◁d10010010010011#
#1111111111◁d110010010010011#
#111111111◁d1110010010010011#
#11111111◁d11110010010010011#
#1111111◁d111110010010010011#
#111111◁d1111110010010010011#
#11111◁d11111110010010010011#
#1111◁d111111110010010010011#
#111◁d1111111110010010010011#
#11◁d11111111110010010010011#
#1◁d111111111110010010010011#
#◁d1111111111110010010010011#
#◁a11111111111110010010010011#
#1b▷11111111111110010010010011#
#11b▷1111111111110010010010011#
#111b▷111111111110010010010011#
#1111b▷11111111110010010010011#
#11111b▷1111111110010010010011#
#111111b▷111111110010010010011#
#1111111b▷11111110010010010011#
#11111111b▷1111110010010010011#
#111111111b▷111110010010010011#
#1111111111b▷11110010010010011#
#11111111111b▷1110010010010011#
#111111111111b▷110010010010011#
#1111111111111b▷10010010010011#
#11111111111111b▷0010010010011#
#111111111111111c▷010010010011#
#1111111111111111d▷10010010011#
#1111111111111111◁d10010010011#
#111111111111111◁d110010010011#
#11111111111111◁d1110010010011#
#1111111111111◁d11110010010011#
#111111111111◁d111110010010011#
#11111111111◁d1111110010010011#
#1111111111◁d11111110010010011#
#111111111◁d111111110010010011#
#11111111◁d1111111110010010011#
#1111111◁d11111111110010010011#
#111111◁d111111111110010010011#
#11111◁d1111111111110010010011#
#1111◁d11111111111110010010011#
#111◁d111111111111110010010011#
#11◁d1111111111111110010010011#
%exec 4000 # • a▷ • #.
#1111111111111111111111111111◁d1111111111111111111111111111111111111111111111111111111111111111111111111111111111111#