自由幺半群

作品数：27被引量：15H指数：3
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：徐波赵平陈云坤胡华碧赵锡英更多>>
相关机构：贵州师范大学贵阳医学院云南大学江西师范大学更多>>
相关期刊：《数学的实践与认识》《四川师范大学学报（自然科学版）》《兰州大学学报（自然科学版）》《兰州财经大学学报》更多>>
相关基金：国家自然科学基金贵州省教育厅自然科学研究项目贵州科学技术基金贵州省科学技术基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
项重写系统和自由幺半群
《纯粹数学与应用数学》2022年第2期266-275,共10页林沐辰 朱志成 张毅 
国家自然科学基金(11771191,12101316);南京信息工程大学人才启动金(2021r014);南京信息工程大学大学生创新创业训练计划项目(XJDC202210300386).
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重...
关键词：自由幺半群 重写系统 Platic幺半群 中国幺半群 
自由半群和自由幺半群的Cayley图
《兰州工业学院学报》2019年第4期81-82,85,共3页王锦伟 何明伟 
兰州工业学院年青年科技创新项目(18K-017)
证明了自由幺半群的Cayley图是有根树及自由半群的Cayley图是一些同构的树组成的森林.
关键词：自由半群 自由幺半群 CAYLEY图 字 树 森林 
一类由极大码生成的极大自由幺子半群
《贵州师范学院学报》2014年第12期18-19,共2页胡华碧 陈云坤 
贵州省科学技术基金(黔科合J字〔2013〕2225号)资助项目
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B31∪B1(X2\B21)X。证明了C是极大码且C*是自由幺半群X*的极大自由幺子半群。
关键词：极大码 自由幺半群 极大自由幺子半群 
0-群码的结构
《玉溪师范学院学报》2013年第12期5-8,共4页张丰硕 白丽艳 杨继明 
国家自然科学基金资助项目(11101354);云南省教育厅科学研究基金资助项目(2011Y083)
通过对比群码的定义,给出0-群码的定义,并利用已知的群码的结构定理和性质,将其推广至0-群码上,得到了0-群码的一个结构定理和类似于群码的一个结论.
关键词：0-群码 群码 自由幺半群 句法同余 
极大前缀码的一些性质被引量：1
《数学的实践与认识》2012年第20期208-212,共5页陈云坤 
贵州省科学技术基金项目(黔科合J字LKS[2010]04)
设X^＋（X^＊）是由字母表X生成的自由（幺）半群且A是X^＊的非空子集，如果A∩AX^＋=φ，则称A是前缀码．如果前缀码A满足：对任意ω∈X^＋＼A，有A∪{ω}不是前缀码，则称A是极大前缀码．给出了极大前缀码的一些性质，并推广了相关文...
关键词：自由幺半群 前缀码 极大前缀码 
自由幺半群X＇的一族极大自由幺子半群
《贵州科学》2012年第3期11-13,26,共4页徐波 
贵州科技基金(黔基合计字(2004)3047)资助项目
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B1(XN\B1N)∪E,其中E=B1N+1.(B10B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),N3,M0,则C*是X*的幺子半群。以X*为顶点集构造了一个语言图,然后利用该语言图证明了C*是X*的...
关键词：语言图 极大码 自由幺半群 极大自由幺子半群 
半群X＊的一族极大自由幺子半群的推广被引量：1
《贵州师范大学学报（自然科学版）》2011年第2期81-83,共3页赵平 陈云坤 徐波 汪莉萍 
贵州省科学技术基金项目(黔科合J字LKS[2010]04);贵阳医学院青年基金(K2009-10)
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,A=B2∪E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM2-1B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群。利用文[2]的结果证明了对N≥2,幺半...
关键词：极大码 自由幺半群 极大自由幺子半群 语言图Γ(X*) 
半群X^＊的一族极大自由幺子半群被引量：2
《重庆文理学院学报（自然科学版）》2009年第1期29-31,共3页胡华碧 
考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图,利用它证明了该族子半群是一族极大自由幺子半群.
关键词：语言图 极大码 自由幺半群 极大自由幺子半群 
自由幺半群X^＊的一族极大自由幺子半群被引量：2
《贵州科学》2007年第4期32-34,70,共4页赵平 徐波 
贵州省教育厅自然科学项目(黔教科2002311);贵州科技基金项目;(黔基合字(2004)3047)
设X*是由字母表生成的自由幺半群,B1,B2是X的任意2—划分,C=B2∪B1XN,N≥1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N+1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群.
关键词：极大码 自由幺半群 极大自由幺子半群 
自由幺半群的一族极大自由幺子半群被引量：4
《贵州师范大学学报（自然科学版）》2007年第2期68-70,共3页徐波 
贵州省科技基金(黔基合计字(2004)3047)资助项目;贵州省教育厅自然科学项目(黔教科2002311)
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺...
关键词：语言图 极大码 自由幺半群 极大自由幺子半群 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部