关于具有有理性派生的项重写系统
计算机科学中的逻辑
2007-05-29 v1
摘要
项重写系统可按其规则的重叠方式进行多种分类。具体而言,我们定义了前缀、后缀、自底向上和自顶向下系统等类别,它们推广了字上的类似类别。我们的目标是研究此类系统的派生关系(即其重写关系的自反传递闭包),并在可能的情况下给出刻画它的有限机制。利用基于有限图文法的有理性关系概念,我们证明了任何自底向上、自顶向下或后缀系统的派生都是有理的,而前缀系统的派生则可能不是递归的。
引用
@article{arxiv.0705.4064,
title = {On Term Rewriting Systems Having a Rational Derivation},
author = {Antoine Meyer},
journal= {arXiv preprint arXiv:0705.4064},
year = {2007}
}