有限狀態(tài)機變量賦值的一些小概念

變量的賦值

在轉(zhuǎn)換中執(zhí)行賦值時，所使用的值有明顯的區(qū)別。在下面的表達式中

藍色部分表示引發(fā)事件（也就是常說的e）時的值，綠色部分表示執(zhí)行所有激活鏈后將更新的值。對于以下狀態(tài)圖：

當處于狀態(tài) 1 并引發(fā)事件 e 時，執(zhí)行將按如下方式發(fā)生：

• 轉(zhuǎn)到狀態(tài) 2，更新 x 的未來值。
• 檢查優(yōu)先級為 1 的轉(zhuǎn)換，x 仍等于 0;無法進行過渡。
• 檢查優(yōu)先級為 2 的轉(zhuǎn)換，該轉(zhuǎn)換為空且始終為 true;可以進行轉(zhuǎn)換，轉(zhuǎn)到狀態(tài) 4。
• 激活鏈結(jié)束，x 的未來值成為它的實際值，所以 x 的值變成 1，我們停留在狀態(tài) 4。

感興趣的小伙伴可以思考一下為什么是狀態(tài)4而不是狀態(tài)3

賦值更新激活鏈末尾的變量或離散輸出的值。因此，當相同的值被分配兩次時，就會出現(xiàn)問題，我們應(yīng)該使用哪一個？

x 的值應(yīng)該是 1 還是值 18？為避免狀態(tài)圖執(zhí)行的歧義，禁止對激活鏈中的變量進行多次更新。為了打破鏈條，您必須為其中一個轉(zhuǎn)換添加一個觸發(fā)器：

這樣，狀態(tài) 2 和狀態(tài) 3 之間的轉(zhuǎn)換就不會直接進行;在重新更新變量 X 之前，必須在狀態(tài) 2 中引發(fā)事件 E。