User:Wythagoras/Rado's sigma function/BB(3)

\(\Sigma(3)=6\) (Lin, 1963).

The following machine gives this result: 0 _ 1 r 1 0 1 1 l 2 1 _ 1 l 0 1 1 1 r 1 2 _ 1 l 1 2 1 1 r halt