期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Church-Rosser系统表现——么半群中正则问题的可判定性
1
作者 张洛欣 李廉 李永礼 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第4期14-18,共5页
设(T,A)是字母表A上的Church-Rosser Thue系统,M_T是它表现的么半群.M_T中元素u称为正则的,如果存在x,使得xux=u.本文证明了:M_T 中是否有一非平凡正则元是多项式时间可判定的;而对于一个任给的元素 u,u 是否是正则元却是不可判定的.
关键词 组合半群 正则元 半群性质判定 重写系统 Church-Rosser条件
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部