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

\(\Sigma(5)\geq4098\) (Marxen and Buntrock, 1990).

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