对于具有以下状态图的状态机，根据当前状态 S 和输入变量 x 和 y 的下一个状态 S+ 的表达式为
(A) S + = S’ 。 y’ + S 。 X
(B) S + = S。 X 。 y’ + S’ 。 y 。 X’
(C) S + = x 。你’
(D) S + = S’ 。 y + S。 x’col答案：(一)
解释：
对于下一个状态为 S=1，有两种可能的情况：
- S=1，x=1
- S=0，y=0
对于下一个状态为 S=0，有两种可能的情况：
- S=1，x=0
- S=0，y=1
上述条件可以制表为(其中X表示变量对状态转换没有影响)
| x | y | S | S+ |
| 1 | X | 1 | 1 |
| X | 0 | 0 | 1 |
| 0 | X | 1 | 0 |
| X | 1 | 0 | 0 |
很明显，S+ 取决于状态 S 和变量 x 或 y。这直接消除了选项(B)和选项(C)。
现在我们可以检查其他两个选项。当 S=1 且 x=1 选项 (D) 将 S+ 设为 0，否则应为 1，因此 (D) 也可以消除。
选项(A)满足所有，因此答案。
该解决方案由Yashika Arora 提供。
这个问题的测验