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

Question

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

标签： umlstatefsmchainmarkov

Answer 1

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