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

$\Sigma(2)=4$ (Rado, 1962).

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