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

Question

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

这些图表有什么区别？

score 2 · Accepted Answer

2

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

于 2013-01-06T21:35:46.207 回答

score 1 · Accepted Answer

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

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

在您链接的示例中，状态机将成功解析字符串“ac”，但不会解析字符串“befd”（因为没有从起始状态到最终状态的路径可以依次选择这些符号）。

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

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

2 回答 2