不属于堆栈型替换算法的是