利用依赖对证明概率项重写系统的几乎必然最内层终止性
计算机科学中的逻辑
2023-06-06 v2
摘要
依赖对是自动分析项重写系统（TRSs）终止性最强大的技术之一。我们将依赖对框架适配到概率设定中，以证明概率TRSs的几乎必然最内层终止性。为了评估其能力，我们在我们的工具AProVE中实现了这一新框架。
引用
@article{arxiv.2305.11741,
title = {Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs},
author = {Jan-Christoph Kassing and Jürgen Giesl},
journal= {arXiv preprint arXiv:2305.11741},
year = {2023}
}
备注
Full version of a paper which appeared in the Proceedings of CADE 2023