马尔可夫过程的组合构造
计算机科学中的逻辑
2009-01-19 v1 范畴论
概率论
摘要
我们描述了一种用于组合自动机的代数，其中动作具有概率。我们通过展示如何计算经典哲学家就餐问题模型中k步内达到死锁的概率来说明，并利用Perron-Frobenius定理证明，当k趋于无穷时，该概率趋于1。
引用
@article{arxiv.0901.2434,
title = {The compositional construction of Markov processes},
author = {L. de Francesco Albasini and N. Sabadini and R. F. C. Walters},
journal= {arXiv preprint arXiv:0901.2434},
year = {2009}
}