大门|大门-CS-2003 |问题90

1输入2输出同步时序电路的行为如下： 设zk，nk分别表示输入的初始k位中0和1的个数（zk+nk=k）。电路输出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。 这个问题的小测验