对于具有以下状态图的状态机，根据当前状态S和输入变量x和y表示下一个状态S +的表达式为
(A) S + = S’。 y’+ S。 X
(B) S + = S。 X 。 y’+ S’。 。 X’
(C) S + ＝ x。 ‘
(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表示变量对状态转换没有影响)
| 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提供。
这个问题的测验