邱伟德

作品数：8被引量：4H指数：1
导出分析报告
供职机构：上海工业大学更多>>
发文主题：极大前缀码前缀码么半群半群形式语言更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机学报》《高校应用数学学报（A辑）》《计算机应用与软件》《应用数学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
极大强码
《上海大学学报（自然科学版）》1998年第6期600-604,共5页邱伟德 
本文给出极大强码的二个等价定义，设Ａ是字母表，（１）设Ｍ是Ａ＊的子么半群，Ｍ≠，Ｍ≠｛１｝，ａｌｐｈ（Ｍ）＝Ａ，Ｍ满足性质：若ｕｖ∈Ｍ，ｕｗｖ∈Ｍ，则ｗ∈Ｍ的充要条件是Ｍ由一个极大强码生成．（２）设φ：Ａ＊→Ｇ是满...
关键词：强码 上下文无关语言 极大强码 么半群 
正规子么半群与强码
《应用数学》1993年第1期92-95,共4页邱伟德 
上海市高教局科研基金
设∑为字母表,∑是由∑生成的自由么半群.本文得到∑的任一正规子么半群恰是∑上的强码所生成的语言,讨论由强码导出的同余的性质,并给出码成为极大强码的充要条件.
关键词：么半群 正规子么半群 码 强码 
可解可识强码的结构
《数学学报（中文版）》1992年第1期1-7,共7页邱伟德 章亮 
本文研究了可解可识强码的结构,得到了一个强码是可解可识强码当且仅当它可表示为有限个不可分解极大强码的复合,同时给出了不可分解极大强码的结构表达式.
关键词：可解可识强码 强码分解 极大强码 
中介模态逻辑——形式系统及语义
《Journal of Mathematical Research and Exposition》1991年第2期311-316,共6页邹晶 邱伟德 
上海市高教局科研基金资助项目
本文构造中介模态逻辑,给出三个系统MT,MS_4和MS_5,它们分别是经典模态逻辑T,S_4,S_5的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理.
关键词：中介模态逻辑 形式系统 语义 
正则强码的分解与伯努利分布
《高校应用数学学报（A辑）》1991年第2期208-213,共6页邱伟德 章亮 
上海市高教局科研基金
本文得到正则强码的伯努利分布定理。还研究强码的分解,给出正则强码可分解为两个正则强码复合的充要条件。
关键词：码 伯努利分布 强码 正则强码 
有限极大前缀码的生成算法被引量：1
《计算机应用与软件》1991年第5期34-37,33,共5页邱伟德 邹晶 杨耀池 
本文给出了生成有限极大前缀码的算法。
关键词：前缀码 算法 码 
可识极大双缀码的分解
《计算机学报》1991年第2期153-155,共3页邱伟德 
上海市高教局科研基金
<正> 1.引言与基本概念 法国数学家M.P.Schutzenberger在五十年代创立的变长度代码理论,目前已成为理论计算机科学中的重要分支,代码理论的研究在国际上相当活跃。本文用代码分解的方法研究极大双缀码,得到了对任意可识极大双缀码C,C的...
关键词：双缀码 分解 代码 计算机 
极大前缀码的性质及其计数被引量：3
《应用科学学报》1990年第1期25-30,共6页杨耀池 邱伟德 
本文提出和证明极大前缀码的性质,证明了全体极大前缀码在语言连接运算下构成自由么半群.对有限极大前缀码的个数给出选推式:G_m表示所有最大字长不超过m的极大前缀码的个数,有G_m=1+G_(m-1)~n,其中n是字母表X的字母个数.
关键词：前缀码 极大 有穷集 形式语言 半群 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部