Deng等人提出的概率双相似距离是Segala和Lynch概率的稳健定量推广概率自动机的双相似性。在本文中，我们提出了一个作为简单解的双相似距离的特征随机博弈。特征化为我们提供了一个计算通过在这些游戏中应用Condon的简单策略迭代来实现距离。这个然而，康登方法的正确性依赖于以下假设：游戏正在停止。我们的游戏可能总的来说是不间断的，但我们能够证明这类游戏的终止。已有其他算法文献中建议使用$\textbf{UP}\cap\textbf{coUP}$和\textbf{PPAD}的复杂性。尽管理论上相关，这些算法在实践中效率低下。致据我们所知，我们的算法是第一个实际解决方案。所提到的概率二相似性距离的特征上述关键使用了Hausdorff距离的双重表示，因为梅莫利。作为另一项贡献，在本文中，我们展示了梅莫利的结果还可以用来证明双相似距离限定了两种状态满足最大（或最小）概率的差异任意$\omega$-正则属性，表示为LTL公式。