ATM
r-shift: shifts input to the right 1 tape cell.
0 1 // input alphabet
0 1 # B // tape alphabet
1	// number of tapes
1	// number of tracks on tape 0
1	// tape 0 is 1-way infinite
[init] // initial state
[done] // final state
[init]	0	[shift_0]	#	R
[init]	1	[shift_1]	#	R
[init]	B	[done]	B	S
[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]	#	[done] 	B	S
end