GATE | GATE IT 2006 |问题37

对于具有以下状态图的状态机，根据当前状态S和输入变量x和y，下一个状态S+的表达式为 （A） S ⁺ =S’。是的。十、 （B） s ⁺ =S.x。y’+S’。Yx’ （C） s ⁺ =x。y’ （D） s ⁺ =S’。y+S。x’col 答复: （A） 说明：

对于下一个状态S=1，有两种可能的情况：

• S=1，x=1
• S=0，y=0

对于下一个状态S=0，有两种可能的情况：

• S=1，x=0
• S=0，y=1

上述条件可制成表格（其中X表示变量对状态转换没有影响）

很明显，S+取决于状态S和变量x或y。这直接消除了选项（B）和选项（C）。 现在我们可以查看其他两个选项。当S=1和x=1时，选项（D）将S+设为0，否则应为1，因此（D）也可以消除。 选项（A）满足所有条件，因此答案是肯定的。

这个解决方案是由 安田荣彦 . 这个问题的小测验