[计]?状态合并图

... 状态机编译程序：compiler,state-machine 状态合并图：merger diagram 状态方程模型：state equation model ...

?归并图

...D)(CD)(CE)(ABD)(ACD)(ACE) 不相容类为(BC)(BE)(DE)  利用蕴含表寻找相容关系对  最大相容类需要通过归并图(merger diagram) 12 最大相容和不相容类  最大相容类：不存在其他不在相容类中 的状态可以加入该相容类中。