典型文献
项重写系统和自由幺半群
文献摘要：
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面.
文献关键词：
自由幺半群;重写系统;Platic幺半群;中国幺半群
中图分类号：
作者姓名：
林沐辰;朱志成;张毅
作者机构：
南京信息工程大学数学与统计学院,江苏南京 210044;兰州大学数学与统计学院,甘肃兰州 730000
文献出处：
引用格式：
[1]林沐辰;朱志成;张毅-.项重写系统和自由幺半群)[J].纯粹数学与应用数学,2022(02):266-275
A类：
重写系统,自由幺半群,Platic,中国幺半群
B类：
数理逻辑,计算机科学,汇合,基本性质,二元关系
AB值：
0.077456
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
