状态图:http://www.jointjs.com/demos/run.html?unit=uml.statechart
这是一个有限状态机:http://www.jointjs.com/demos/fsa
这些图之间的区别是什么?
有限状态机是一个数学概念。状态图是基于这个概念的符号。
状态机和状态图是完全不同的两个概念。
状态机是用形式语言解析输入字符串的抽象机器，而状态图是对系统(子系统等)可能采取的不同状态以及如何在它们之间转换的UML描述。
在您链接的示例中，状态机将成功解析字符串"ac"，但不会解析字符串"befd"(因为没有从开始状态到最终状态的路径，该路径连续地按顺序取出这些符号)。
另一方面，状态图表明(除其他事项外)某些系统可能处于三种主要状态之一;在启动时假定状态为1;它可以从状态1过渡到状态2或状态3;它可以从状态2终止，但不能从状态3终止。
因此，尽管它们在视觉上看起来很相似，但它们是来自不同工具箱的不同工具，用于不同的目的:一个来自计算理论，另一个来自设计描述形式主义。