我们研究了概率下推自动机（pPDA）的双相似性问题及其子类。我们对pPDA的定义允许概率和非确定性分支，推广了下推的经典概念自动机（没有ε转换）。我们首先展示一位将军用两层对策描述概率双相似性，这自然减少了概率标记的检查双相似性转换系统以检查标准的双相似性（非确定性）标记的过渡系统。这种减少可以很容易地在pPDA框架，允许将已知结果用于标准（非概率）PDA及其子类。直接使用还原导致复杂性指数级增加，这与推导无关由于非初等复杂性，pPDA的双相似性的可判定性这个问题。在概率单计数器自动机（pOCA）的情况下概率可视下推自动机（pvPDA）过程代数（即单态pPDA）我们证明了隐式使用减少可以避免复杂性的增加；因此，我们得到了PSPACE、EXPTIME和2-EXPTIME上界，分别类似于各自的非概率版本。众所周知，OCA和vPDA的双相似性问题具有匹配性下界（因此分别是PSPACE完备和EXPTIME完备）；我们表明，这些下限也适用于完全概率版本不要使用非决定论。