finite-automata - 有限状态机和死锁

Question

这是我的问题

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

我想知道痕迹（我不知道结构），如果组合没有死锁。

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

Answer 1

如果您确实在处理组合（使用初始参数运行机器 A，然后使用 A 的最终参数作为初始参数运行机器 B），那么组合中的死锁必然会在 A 或 B 中发生。

它不会发生在 A 中（因为如果 B 不存在，它也会发生），并且它不会发生在 B 中（因为那时，如果 A 不存在并且您对 B 使用相同的初始参数，它也会发生）。因此，基于 A 和 B 无死锁的初始假设，它们的组成也是如此。