期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
项重写系统和自由幺半群
1
作者 林沐辰 朱志成 张毅 《纯粹数学与应用数学》 2022年第2期266-275,共10页
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重... 项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面. 展开更多
关键词 自由幺半群 重写系统 Platic幺半群 中国幺半群
在线阅读 下载PDF
Grobner-Shirshov Bases for Plactic Algebras 被引量:1
2
作者 Lukasz Kubat Jan Oknifiski 《Algebra Colloquium》 SCIE CSCD 2014年第4期591-596,共6页
A finite GrSbner-Shirshov basis is constructed for the plactic algebra of rank 3 over a field K. It is also shown that plactic algebras of rank exceeding 3 do not have finite GrSbner-Shirshov bases associated to the n... A finite GrSbner-Shirshov basis is constructed for the plactic algebra of rank 3 over a field K. It is also shown that plactic algebras of rank exceeding 3 do not have finite GrSbner-Shirshov bases associated to the natural degree-lexicographic ordering on the corresponding free algebra. The latter is in contrast with the case of a strongly related class of algebras, called Chinese algebras. 展开更多
关键词 plactic monoid GrSbner-Shirshov basis semigroup algebra
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部