具有条件转移的有限状态机可以表示为马尔可夫链吗？

Question

我很想知道具有条件转换的有限状态机是否可以表示为马尔可夫链？如果他们不能，什么是一个很好的反例？

Answer 1

马尔可夫链是状态机的“记录”，在该状态机中，状态更改之间存在概率。 UML 状态机不直接具有这些概率。状态转换只有守卫（和一些其他属性）。因此，为了创建马尔可夫链，您需要一个定义状态转换的配置文件，该配置文件也提供概率。也许（取决于您的用例）您可以简单地使用守卫来表达这些概率。