Tiny Ollibot Example Server - Call-by-need functions

3-state, 2-symbol busy beaver Turing machine

a0 : a • 0 ->> 1 • b.
a1 : a • 1 ->> 1 • h.
b0 : b • 0 ->> 0 • c.
b1 : b • 1 ->> 1 • b.
0c0 : 0 • c • 0 ->> c • 0 • 1.
1c0 : 1 • c • 0 ->> c • 1 • 1.
0c1 : 0 • c • 1 ->> a • 0 • 1.
1c1 : 1 • c • 1 ->> a • 1 • 1.
%trace *
   0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • a • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0.
00000000a00000000
000000001b0000000
0000000010c000000
000000001c0100000
00000000c11100000
0000000a011100000
00000001b11100000
000000011b1100000
0000000111b100000
00000001111b00000
000000011110c0000
00000001111c01000
0000000111c111000
000000011a1111000
0000000111h111000