利用群结构研究归约系统
计算机科学中的逻辑
2007-05-23 v1
摘要
我们描述了若干技术工具, 这些工具对于研究与代数律相关联的归约系统非常高效, 且可能对更广泛的归约系统有用。这些工具包括引入部分算子幺半群、列出表达归约系统可能局部一致性的幺半群关系、随后引入由这些关系给出的群、以及最终将初始归约系统替换为完全位于后者内部的内部过程。当该方法能够完成时, 通常会获得一种实用方法, 用于构造满足规定定律的代数结构以及求解关联单词问题。
引用
@article{arxiv.cs/0609102,
title = {Using groups for investigating rewrite systems},
author = {Patrick Dehornoy},
journal= {arXiv preprint arXiv:cs/0609102},
year = {2007}
}