使用群组来研究重写系统
摘要：研究与一类代数定律相关的重写系统的几种有效的技术工具，这些工具可能对更一般的重写系统也有用。这些工具包括引入一个部分运算符的幺半群，列出表达重写系统可能的局部可重叠性的幺半群关系，然后引入由这些关系给出的群，最后将初始重写系统替换为完全位于后一群中的内部过程。当方法可以完成时，通常可以获得一种实际的方法来构造满足规定定律的代数，并解决相关的词问题。
作者：Patrick Dehornoy (LMNO)
论文ID：cs/0609102
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23