User:Googleaarex/ITTM Ordinals

\(\omega\) = \(\gamma[1,1]\)
0 _ _ R 0

L _ _ R halt

\(\omega + 1\)
0 _ _ R 0 1 _ _ R halt

L _ _ R 1

\(\omega 2\)
0 _ _ R 0 1 1 1 R 1

L _ 1 * 1 L 1 1 R halt

\(\omega^2\) = \(\gamma[1,2]\)
0 _ _ R 0 0 1 _ R 0

L _ 1 * 0 L 1 1 R halt

3 colours version
0 _ _ R 0 0 1 _ R 0 0 2 _ R 0

L _ 1 * 0 L 1 2 * halt L 2 2 R halt

2 colours version
0 _ _ R 0 1 _ _ R 0

L _ 1 R 0 L 1 _ R 1 L 1 1 R halt