项重写系统重命名下语法等价判定的复杂性（扩展版）
计算机科学中的逻辑
2022-12-01 v2
摘要
受程序变换中问题的启发，我们定义、分析并分类了项重写系统之间八种同构概念。这些概念包括全局同构（变量与函数符号的重命名对系统所有项重写规则相同）、局部同构（每条规则使用单一重命名）以及混合情形（一个符号集全局重命名而另一个符号集局部重命名）。针对不同的同构概念，分析了可换性与终止性等语义性质的保持情况。引入了项重写系统的模板与极大范式概念，并给出了高效计算它们的算法。借助这些技术，分析了这些同构底层判定问题的复杂性，证明其要么可有效求解，要么被证明在图同构复杂性类中是完全的。
引用
@article{arxiv.2106.13520,
title = {Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version)},
author = {Michael Christian Fink Amores and David Sabel},
journal= {arXiv preprint arXiv:2106.13520},
year = {2022}
}