无穷重写中收敛性与强收敛性的模块性
计算机科学中的逻辑
2015-07-01 v2 形式语言与自动机理论
摘要
项重写系统的性质称为模块性的，当且仅当它们在不相交并（即组合两个具有不相交签名的项重写系统）下被保持（且被反射）。收敛性是无穷项重写系统的性质，即所有归约序列都收敛到一个极限。强收敛性额外要求归约序列中的重写位置无限深入。本文证明，对于非坍缩的无穷项重写系统，收敛性和强收敛性都是模块性质，前提是（对于收敛性）项度量是粒状的。这推广了度量无穷之外的已知模块性结果。
引用
@article{arxiv.1006.2944,
title = {Modularity of Convergence and Strong Convergence in Infinitary Rewriting},
author = {Stefan Michael Kahrs},
journal= {arXiv preprint arXiv:1006.2944},
year = {2015}
}