先读上一章,沿用其中建立的输入、标识与状态概念。
本章先跟踪一次正常操作,再改变输入或终止条件,观察原解释能否成立。代码中的检查与返回结果共同构成实验,不以模型说“成功”作为完成证据。
读完后应能复现正文结果,解释失败发生在哪个边界,并完成不依赖答案启动的独立练习。