有限狀態機和死鎖

Question

這是我的問題

我知道兩個狀態機死鎖的痕跡。

我想知道跟蹤（我不知道estructure），如果組成是死鎖免費的。

要知道的任何定理是可以知道的嗎？

Answer 1

如果確實與組合物處理（與初始參數運行機A，然後用A作爲初始參數的最終參數機B），然後在組合物中的死鎖必然無論是在A或B中

發生

它不會發生在A中（因爲那樣的話，如果B不存在，也會發生），並且它不會發生在B中（因爲如果A不存在，那麼也會發生這種情況，並且您使用了與B相同的初始參數）。因此，基於最初的假設，A和B是無死鎖的，它們的組成也是如此。