《数字逻辑》——有限状态机

一、实验目的

        1.掌握有限状态机的思想

        2.掌握有限状态机的数字电路实现方法

        3.利用有限状态机解决实际应用问题

二、实验记录

实验1：从键盘的输出中检测特定字符串

（1）确定系统的输入变量；

要输出“J，M，U”和“其他字母等无关变量”，分别将‘J’编码为01、‘M’编码为10、‘U’编码为11、其它字符编码为00。一共四个变量。

（2）确定系统的状态个数；

其它字符编码“00”代表状态“S0”, 字符‘J’编码“01”代表状态“S1”，字符‘M’编码“10”代表状态“S2”，字符‘U’编码“11”代表状态“S3”。一共四个状态。

（3）画出状态图

（4）画出状态转换表和输出表：

下一个状态真值表

输出真值表

（5）逻辑表达式的推导并实现系统；

        表达式：S1_next= s0*ta*!tb + s1*ta*tb + s1*s0

                      S0_next= ~s1*!s0*!ta*tb + s1*ta*tb

        系统分析：

此时分析下一个状态值

1. 系统初始时默认为00，当我输入“J”时，将字符值传入位选择器和比较器，输入位十进制数“1”，此时D触发器更新存储数据“01”。
2. 当下一次输入其他编码值时：传入“00”，根据真值表“0100”，下一状态变为“00”，传入“U”时，根据真值表“0111”，下一状态也变为“00”。此时只有重复1操作才可以继续按照“JMU”次序更新数据。
3. 当下一次输入为“M”时，传入“10”，根据真值表“0110”，下一状态为“10”，D触发器更新数据为“10”，此时可以按照“JMU”次序更新数据。
4. 当下下次输入为其他编码（包括“J”和“U”）时，下一个状态都会变为“00”，只有重复1和3操作才可以继续按照“JMU”次序更新数据。
5. 当下下次输入为“U”时，传入“11”，下一个状态会变为“11”。次序正确，接下来由“下一个输出”发挥作用。

此时分析下一个输出

1. 因为输入正确之后，值会变为“11”，利用一个与门，当且仅当它为“11”时才会输出“1”
2. 将“1”传入下面的位选择器，选择ASCII码‘0x56’，输出“V”。

（6）展示

当输入其他字符编码时：如图以“p”为例不会输出任何字符

当单独输入“J”时：如图不会输出任何字符

当单独输入“M”时：如图不会输出任何字符

当单独输入“U”时：如图不会输出任何字符

当完整输入“JMU”时：如图输出任何字符“V”

三、总结

        在这个实验中，可以成功地掌握有限状态机的思想，并学习如何实现有限状态机的数字电路。该实验设计了一个系统，该系统能够从键盘的输出中检测特定的字符串"JMU"。我们首先确定了系统的输入变量和状态个数，然后画出了状态图和状态转换表。通过逻辑表达式的推导，我们实现了系统，并对其进行了测试。测试结果表明，当我们完整地输入"JMU"时，系统会输出字符"V"。当输入其他字符或者只输入"JMU"中的一部分时，系统不会有任何输出。这个实验可以使我们更深入地理解了有限状态机的工作原理，以及它在解决实际应用问题中的重要性。