|
|||||
|
|
| 项重写系统和自由幺半群 | |
| 作者姓名： | 林沐辰 朱志成 张毅 |
| 作者单位： | 1. 南京信息工程大学数学与统计学院;2. 兰州大学数学与统计学院 |
| 基金项目： | 国家自然科学基金(11771191,12101316)； |
| 摘 要： | 项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面. |
| 关 键 词： | 自由幺半群 重写系统 Platic幺半群 中国幺半群 |