1输入2输出同步时序电路的行为如下：
令zk，nk分别表示输入的前k位(zk + nk = k)的0和1的数目。在以下条件之一成立之前，电路一直输出00。
zk - nk = 2. In this case, the output at the k-th and
all subsequent clock ticks is 10.
nk - zk = 2. In this case, the output at the k-th and
all subsequent clock ticks is 01.上述电路的状态转换图中所需的最小状态数是多少?
(A) 5
(B) 6
(C) 7
(D) 8答案： (A)
说明：该问题的答案必须为5，因为我们只需要计算数字的前k位中0和1的数量之差即可。我们只需要计数直到该计数达到2或-2(当0的数目小于1的数目时为负)即可。因此，可能性为-2，-1、0、1和2，它们代表状态转换图的五个状态。
对于状态-2，电路的输出将为01，对于状态2，输出将为10(这两个状态都没有任何输出转换)，对于其他3个状态，根据给定的电路说明，输出将为00 。这个问题的测验