有限状态机和死锁

Question

这是我的问题

我知道两个状态机死锁的痕迹。

我想知道跟踪（我不知道estructure），如果组成是死锁免费的。

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

Answer 1

如果确实与组合物处理（与初始参数运行机A，然后用A作为初始参数的最终参数机B），然后在组合物中的死锁必然无论是在A或B中

发生

它不会发生在A中（因为那样的话，如果B不存在，也会发生），并且它不会发生在B中（因为如果A不存在，那么也会发生这种情况，并且您使用了与B相同的初始参数）。因此，基于最初的假设，A和B是无死锁的，它们的组成也是如此。