# Add two numbers, according the the Boolos, et al., conventions.  

# Erase a one and move to the right (state 0).  If the first square is
# blank, move to the right and halt (state 1).  Else, keep moving to
# the right until you find a blank (state 2).  Write 1 there (state
# 2), move to the left until you find a blank (state 3).  When you do,
# move back right (state 3) and erase a 1 and move right again (state
# 4).  Halt.

# St R W M New
(0,1, ,1,r)    # In state 0, if I see a 1, 
	   # write a blank and move right and goto state 1.
	   # State 0: start state -- erase a one

(1, , ,99,r)   # The first number was 0, so I'm okay.
(1,1,1,2,r)    
           # State 1: 
(2, ,1,3,l)    # Put a 1 in the first blank.
(2,1,1,2,r)  
(3, , ,4,r)    # Look for first blank 
(3,1,1,3,l)  
(4,1, ,99,r)   # Erase first 1 and halt