状态图和有限状态机（FSM）之间的区别？

Question

这是状态图：http://www.jointjs.com/demos/run.html?unit=uml.statechart

这是一个有限的状态机：http://www.jointjs.com/demos/fsa

这些图表之间有什么区别？

Answer 1

有限状态机是一种数学概念。 状态图是基于此概念的符号。

Answer 2

状态机和状态图是两个完全不同的东西。

状态机是一种抽象机器，用于以形式语言解析输入字符串，而状态图是系统（子系统等）可能采用的不同状态的UML描述以及它们如何在它们之间转换。 / p>

在你的链接示例中，状态机将成功解析字符串“ac”，但不会解析字符串“befd”（因为没有从起始状态到最终状态的路径，该状态会连续选择那些符号顺序）。

另一方面，状态图表示（除其他外）某些系统可能处于三种主要状态之一;它在启动时假定状态为1;它可以从状态1转换到状态2或状态3;并且它可以从状态2终止，但不能从状态3终止。

因此，尽管它们在视觉上看起来相似，但它们是用于不同目的的不同工具箱的不同工具：一个来自计算理论，另一个来自设计描述形式主义。