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

Question

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

Answer 1

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