000000111111
p q r
0 1
A Z
p
r

(p,0,>)->(p,>A)
(p,0,A)->(p,AA)
(p,,>)->(q,>)
(p,,A)->(q,A)
(q,1,A)->(q,)
(q,,>)->(r,>)