ATM
r-shift: shifts input to the right 1 tape cell.
0 1 // input alphabet
0 1 a b # B // tape alphabet
1	// number of tapes
1	// number of tracks on tape 0
1	// tape 0 is 1-way infinite
[r-shift-init] // initial state
[done] // final state
[r-shift-init]	0	[shift_0]	#	R
[r-shift-init]	1	[shift_1]	#	R
[r-shift-init]	B	[copy-init]	B	R
[shift_0]	0	[shift_0]	0	R
[shift_0]	1	[shift_1]	0	R
[shift_0]	B	[return]	0	L
[shift_1]	0	[shift_0]	1	R
[shift_1]	1	[shift_1]	1	R
[shift_1]	B	[return]	1	L
[return]	0	[return] 	0	L
[return]	1	[return] 	1	L
[return]	B	[return] 	B	L
[return]	#	[copy-init] 	B	S
[copy-init]	0	[copy_0]	a	R
[copy-init]	1	[copy_1]	b	R
[copy-init]	B	[init_B]	B	R
[init_B]	0	[copy_0]	a	R
[init_B]	1	[copy_1]	b	R
[init_B]	B	[done]	B	R
[copy_0]	0	[copy_0]	0	R
[copy_0]	1	[copy_0]	1	R
[copy_0]	B	[copy_0a]	B	R
[copy_1]	0	[copy_1]	0	R
[copy_1]	1	[copy_1]	1	R
[copy_1]	B	[copy_1a]	B	R
[copy_0a]	0	[copy_0a]	0	R
[copy_0a]	1	[copy_0a]	1	R
[copy_0a]	B	[go_left]	0	L
[copy_1a]	0	[copy_1a]	0	R
[copy_1a]	1	[copy_1a]	1	R
[copy_1a]	B	[go_left]	1	L
[go_left]	0	[go_left] 	0	L
[go_left]	1	[go_left] 	1	L
[go_left]	B	[go_left] 	B	L
[go_left]	a	[grab] 	0	R
[go_left]	b	[grab] 	1	R
[grab]	0	[copy_0]	a	R
[grab]	1	[copy_1]	b	R
[grab]	B	[finish]	B	L
[finish]	0	[finish]	0	L
[finish]	1	[finish]	1	L
[finish]	B	[done]	B	R
end