求非完全描述状态表最小闭覆盖的图解法

？目前,在综合一个时序数字系统时,尚无求非完全描述状态表最小闭覆盖的系统方法.本文提出的正是这样一种方法.本文首先介绍如何画最大相容类隐含图,尔后给出了两种简化隐含图的方法.最后对化简的隐含图运用阱点的递归选择及回路分解,能够由最大相容类集合求出最小闭覆盖.对于比较复杂的非完全描述状态表,本图解法较之目前被广泛采用的试验法具有更为明显的优点.