从硬件电路到过渡系统的基本步骤是什么
What are the basic steps from a hardware circuit to a transitionssystem
当我想将硬件电路放入转换系统时，基本步骤是什么？我没有得到节点之间的箭头。箭头from/to相同的节点很简单。但是，如何获得节点 {r} 和节点 {x,r,y} 之间的箭头？我可以在这些箭头上写些什么以提高可读性？
你的finite state machine有一个状态位和一个输出位。因此你可以区分四种不同的r/y状态：
r y
----
0 0
0 1
1 0
1 1
根据输入位 x，机器将从这些状态中的每一个过渡到后续状态。这又可以描述为table：
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
------+---+------
由此table可以推导出状态转换图：
回答你的问题：
状态转换弧标有此转换发生的条件。
该图是不完整的，除非考虑了输入值的每一个可能的组合。你在我的图表中找到丢失的标签了吗？
请注意状态 0/0 无法到达。没有箭头指向此状态。
状态1/1是一个终结状态。一旦到达就不能离开。
查看 here 关于 带输出的有限状态机（Mealy 和 Moore 机器）
的精彩讲义
当我想将硬件电路放入转换系统时，基本步骤是什么？我没有得到节点之间的箭头。箭头from/to相同的节点很简单。但是，如何获得节点 {r} 和节点 {x,r,y} 之间的箭头？我可以在这些箭头上写些什么以提高可读性？
你的finite state machine有一个状态位和一个输出位。因此你可以区分四种不同的r/y状态：
r y
----
0 0
0 1
1 0
1 1
根据输入位 x，机器将从这些状态中的每一个过渡到后续状态。这又可以描述为table：
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
------+---+------
由此table可以推导出状态转换图：
回答你的问题：
状态转换弧标有此转换发生的条件。
该图是不完整的，除非考虑了输入值的每一个可能的组合。你在我的图表中找到丢失的标签了吗？
请注意状态 0/0 无法到达。没有箭头指向此状态。
状态1/1是一个终结状态。一旦到达就不能离开。
查看 here 关于 带输出的有限状态机（Mealy 和 Moore 机器）
的精彩讲义