User blog:Ubersketch/Y-sequence formalization attempt

W.I.P.
 * S^0 = (S_1, S_2, S_3...S_L0)
 * S_L0 is last entry
 * S_L1 is rightmost entry smaller than S_L
 * S^n+1=T where T_n=(S_n)-(S_n+1)
 * B_S=all entries from S_L0 to S_n-1 where S_n-1=S_L0


 * 1) (empty string)=0
 * (#,0)=(#)+1
 * 1) If S_L0-S_L1=0 then go to 2, else, go to 5
 * 2) Remove S_L0 from S and duplicate B_S n times.