Taśma z głowicą: … =10111+110        …

Stan:            [s0]

Ustalony skończony ciąg rozkazów postaci
        (stan, głowica): (nowy stan, nowa wartość komórki) przesunięcie głowicy 
	…
	(init, 0) : (init, 0) →
	(init, 1) : (init, 1) →
	(init, B) : (init, B) →
	(init, =) : (s0,   =) →
	(s0,   0) : (s0,   0) → 
	(s0,   1) : (s0,   1) → 
	(s0,   B) : (s0,   B) → 
	(s0,   +) : (s1,   +) → 
	(s1,   0) : (s1,   0) →
	(s1,   1) : (s1,   1) →
	(s1,   B) : (b,    B) ←
	(b     0) : (p0,   B) ←
	(b,    1) : (p1,   B) ←
	…