什么是assertion? Assertion 1 start S is a symbol string I (1) 一个可以被证 X←S: Assertion 2 明是否为真的 Y←Λ S=reverse (Y).X 命题！ (2)←Z NO YES X=Λ？ Assertion 3 (3)reverse (S) Y←-head(X·Y stop X←-tail(X)什么是assertion？ ◼ 一个可以被证 明是否为真的 命题！