理论证明表明，只要内存分配不依赖于历史状态，语句置换方法就能逐字节地实现建模的峰值内存，并且输出结果与原始程序逐位相同。