用于概率术语重写的完全几乎确定终止的注释依赖对

依赖对（DPs）是自动终止分析术语重写系统最强大的技术之一。最近，我们将DP框架适应于概率环境，以通过注释依赖对（ADPs）证明几乎确定终止（AST）。然而，这种适应仅处理了相对于最内层评估策略的AST。在本文中，我们改进了ADP框架，以证明全重写的AST。此外，我们完善了框架，以适应以包含单一已定义函数符号的基本术语开头的重写序列。我们在我们的工具AProVE中实现并评估了新框架。