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

Question

当我想将硬件电路放入转换系统时，基本步骤是什么？我没有得到节点之间的箭头。箭头from/to相同的节点很简单。但是，如何获得节点 {r} 和节点 {x,r,y} 之间的箭头？我可以在这些箭头上写些什么以提高可读性？

Answer 1

你的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 机器）

的精彩讲义

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

What are the basic steps from a hardware circuit to a transitionssystem

logic

computer-science

boolean-logic

transitions