项重写系统和自由幺半群

项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面.