Uml 状态图和有限状态机(FSM)之间的区别?

Uml 状态图和有限状态机(FSM)之间的区别?,uml,statechart,Uml,Statechart,以下是状态图: 这是一个有限状态机: 这些图之间有什么区别?状态机和状态图是两个完全不同的东西 状态机是一种抽象机器,用于解析形式语言中的输入字符串,而状态图是系统(子系统等)可能假设的不同状态以及如何在它们之间转换的UML描述 在您链接的示例中,状态机将成功解析字符串“ac”,但不会解析字符串“befd”(因为没有从起始状态到最终状态的路径可以按该顺序依次拾取这些符号) 另一方面,状态图表示(除其他外)某些系统可能处于三种主要状态之一;它在启动时处于状态1;它可以从状态1过渡到状态2或状态3;

以下是状态图:

这是一个有限状态机:


这些图之间有什么区别?

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

状态机是一种抽象机器,用于解析形式语言中的输入字符串,而状态图是系统(子系统等)可能假设的不同状态以及如何在它们之间转换的UML描述

在您链接的示例中,状态机将成功解析字符串“ac”,但不会解析字符串“befd”(因为没有从起始状态到最终状态的路径可以按该顺序依次拾取这些符号)

另一方面,状态图表示(除其他外)某些系统可能处于三种主要状态之一;它在启动时处于状态1;它可以从状态1过渡到状态2或状态3;它可以从状态2终止,但不能从状态3终止


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

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

这里重复您自己的问题?这实际上是一个好的、更准确的答案。不理解“-1”