幺半群的带日志重写

重写系统是一组关于给定项集(称为规则)的方程,刻画了一个计算系统,并且是基于用其他项替换表达式中子项的原则、为提供等式理论判定过程的一种强有力的通用方法。特别地,字重写系统通常对应于一个幺半群表示。第一层次的问题是判定在给定规则下生成元的哪些组合是等价的;字重写系统的 Knuth-Bendix 完备化是解决此问题最成功的机制之一。第二层次的问题涉及判定哪些规则组合是等价的。带日志重写是一种不仅变换字而且以原始规则系统记录变换的技术。幺半群的组合、同伦与同调有限性条件之间的关系促使我们考虑使用对计算机友好的重写系统,从幺半群表示计算同伦与同调结构。