Incrementing a number in binary representation
# is the end-of-tape marker
r1 : inc • 0 ->> 1.
r2 : inc • 1 ->> 0 • inc.
r3 : inc • # ->> 1 • #.
r2 : inc • 1 ->> 0 • inc.
r3 : inc • # ->> 1 • #.
%trace *
# • inc • 1 • 1 • 0 • 1 • #.
# • inc • 1 • 1 • 0 • 1 • #.
#•inc•1•1•0•1•#
#•0•inc•1•0•1•#
#•0•0•inc•0•1•#
#•0•0•1•1•#