从硬件电路到过渡系统的基本步骤是什么

Question

当我想将硬件电路引入转换系统时，有哪些基本步骤？我没有得到节点之间的箭头。来自/到同一节点的箭头很简单。但是，如何获取节点{r}和节点{x，r，y}之间的箭头？为了更好的可读性，我可以在这些箭头上写些什么？

Answer 1

您的finite state machine有一个状态位和一个输出位。因此，您可以区分四种不同的r/y状态：

r  y
----
0  0
0  1
1  0
1  1

根据输入位x，从这些状态中的每一个，机器将转换到后续状态。这可以再次描述为表格：

r  y  | x | r' y'
------+---+------
0  0  | 0 | 0  1
0  0  | 1 | 1  0
------+---+------
0  1  | 0 | 0  1
0  1  | 1 | 1  0
------+---+------
1  0  | 0 | 1  0
1  0  | 1 | 1  1
------+---+------
1  1  | 0 | 1  1
1  1  | 1 | 1  1
------+---+------

您可以从此表中导出状态转换图：

回答你的问题：
状态转换弧标记有发生此转换的条件 除非考虑到每种可能的输入值组合，否则该图表不完整。你在我的图表中找到了缺失的标签吗？

请注意，状态0/0无法访问。没有箭头指向这种状态。

状态1/1是终端状态。一旦到达它就不能离开。

查看here关于带输出的有限状态机（Mealy和Moore机器）的精彩讲义