On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quantum computation, we found a system with probabilistic rewriting rules and strongly normalizing terms. We examine the effect of small modifications in probabilistic rewriting, affine variables, and strategies on the overall confluence in this strongly normalizing probabilistic calculus.

翻译：在概率重写专题上,有几项研究不同系统的终止和融合的作品。在用羊羔微积分模拟量子计算时,我们发现了一个具有概率重写规则和高度正常化条件的系统。我们研究了概率重写小修改、近似变量和战略对于这种高度正常化的概率微积分的总体融合的影响。