狀態圖和有限狀態機（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

有限狀態機是一個數學概念。 狀態圖是基於這個概念的符號。