纯粹数学与应用数学

2022, v.38(02) 266-275

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

项重写系统和自由幺半群
Term rewriting systems and free monoids

林沐辰;朱志成;张毅;

摘要(Abstract):

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

关键词(KeyWords): 自由幺半群;重写系统;Platic幺半群;中国幺半群

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金(11771191,12101316);; 南京信息工程大学人才启动金(2021r014);; 南京信息工程大学大学生创新创业训练计划项目(XJDC202210300386)

作者(Authors): 林沐辰;朱志成;张毅;

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享