概率项重写几乎必然最内终止的依赖元组法（WST 短版）
计算机科学中的逻辑
2023-07-20 v1
摘要
依赖对是自动分析项重写系统（TRSs）终止性最强有力的技术之一。我们将依赖对框架适配到概率设定，以证明概率 TRSs 的几乎必然最内终止。为评估其能力，我们在工具 AProVE 中实现了这一新框架。
引用
@article{arxiv.2307.10002,
title = {Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)},
author = {Jan-Christoph Kassing and Jürgen Giesl},
journal= {arXiv preprint arXiv:2307.10002},
year = {2023}
}
备注
Presented at WST 2023, short version of arXiv:2305.11741