关于具有有理派生的术语重写系统
摘要：术语重写系统可以通过其规则重叠的方式进行区分。特别地，我们定义了前缀、后缀、自底向上和自顶向下系统的类别，这些类别在词语上有类似的类别。我们的目标是研究此类系统的推导关系（即其重写关系的自反传递闭包），并且如果可能的话，提供一个有限机制来描述它。利用基于有限图形语法的有理关系概念，我们表明任何自底向上、自顶向下或后缀系统的推导都是有理的，而对于前缀系统来说，它可能是非递归的。
作者：Antoine Meyer (LIAFA)
论文ID：0705.4064
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-29