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

Question

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

这里是一个有限的statemachine：http://www.jointjs.com/demos/fsa

什么是这些图之间的差异？

Answer 1

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

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

在您的链接示例中，状态机将成功解析字符串“ac”，但不会解析字符串“befd”（因为没有从起始状态到最终状态的路径，该订单）。

另一方面，状态图表示某些系统可能处于三种主要状态中的一种状态;它在启动时处于状态1;它可以从状态1转换到状态2或状态3;并且它可以从状态2结束而不是从状态3结束。

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

Answer 2

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