有限数列上の変換について [無断転載禁止]©2ch.net

変換器Z＝INSERT(X,h,m,Y)のXに関する逆変換器はX＝ERASE2(Z,h,m)である。
ここに0≦h≦h+m≦#(Z)＝#(X)+#(Y)でなければならない。また、SUB(Z,h,m)＝Yである。