有限の状態マシンとデッドロック

Question

これが私の問題です

デッドロックフリーの2つの状態マシンの痕跡を知っています。

構成がデッドロックフリーであるかどうか、痕跡（私は疎外を知らない）で知りたいです。

これを知っておくべき定理はそれを知ることができますか？

Answer 1

実際に構成を扱っている場合（初期パラメーターを使用してマシンAを実行し、Aの最終パラメーターを初期パラメーターとして使用してマシンB）、組成のデッドロックはAまたはBで必然的に発生します。

Aでは発生することはできません（Bが存在しない場合にも発生するため）、Bでは発生することはできません（Aが存在せず、Bに同じ初期パラメーターを使用した場合にも発生するためです）。したがって、AとBがデッドロックフリーであるという最初の仮定に基づいて、それらの構成も同様です。