关于$\epsilon$-机器的同步速率

众所周知，$\epsilon$-机器要么是精确同步的，要么是渐近同步的。在精确情况下，观察者在观测到$L$个生成符号后，能以$1-a^L$的概率推断出当前机器状态，其中$0 \leq a<1$是所谓的同步速率常数。在渐近情况下，观测到$L$个生成符号后正确预测当前机器状态的概率以$1-b^L$的速度指数级趋近于 1（其中$0<b<1$），此类$b$的下确界被称为预测速率常数。因此，同步速率常数和预测速率常数构成了$\epsilon$-机器同步性的自然度量。在本工作中，我们展示了如何在多项式时间内（相对于机器状态数量）近似这些常数。