关于程序插装里的断言....一个不懂的地方

静雪蝴

有4个状态的

U：未定义状态   D定义但未被引用  R：定义且被引用   A：异常

有三个动作

u:取消定义动作   r:引用动作   d:定义动作

有个函数f(q,a)  q为U,D,R,A状态中的一种。a为u,r,d中一种
   
   f(U,d)=D   //U通过做d就进入到D
   
   f(U,r)=A
   
   f(U,u)=U
     .
     .
     .
   这上面的我觉的没问题的，但是下面的呢？

  f(D,u)=A  //定义未被引用的状态 通过 取消定义定义动作 就进入到了  异常状态

  但是我认为从 定义未被引用的状态 通过 取消定义定义动作 就进入到了 未定义状态的 就是U状态的，为什么就变成了异常状态了

静雪蝴

sdlkfj1 不好意思啊，是关于程序插装里的数据流的异常检测，不是断言的