Logic 从硬件电路到转换系统的基本步骤是什么

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

您有一个状态位和一个输出位。因此，您可以区分四种不同的

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

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

寻找一篇关于有输出的有限状态机（Mealy和Moore机器）的不错的讲稿