检索结果-内蒙古大学图书馆

计算机工程与科学 2014年第6期36卷 1094-1094页

作者：无中国计算机学会理论计算机科学专业委员会山东大学计算机科学与技术学院

由中国计算机学会主办、山东大学计算机科学与技术学院承办的“2014年全国理论计算机科学学术年会”将于2014年10月16至17日在山东省济南市召开。有关征文要求通知如下：

关键词：

2014年全国理论计算机科学学术年会征文通知

学校读者我要写书评

暂无评论

计算机工程与科学 2014年第S1期 198-198页

由中国计算机学会主办、山东大学计算机科学与技术学院承办的"2014年全国理论计算机科学学术年会"将于2014年10月16至17日在山东省济南市召开。有关征文要求通知如下:一、为进一步提高学术水平,本次年会将采取以下措施:①除...

由中国计算机学会主办、山东大学计算机科学与技术学院承办的"2014年全国理论计算机科学学术年会"将于2014年10月16至17日在山东省济南市召开。有关征文要求通知如下:一、为进一步提高学术水平,本次年会将采取以下措施:①除征集尚未在其他刊物或学术会议上正式发表过的论文外,还将征文扩大到2013、2014年中国大陆学者在国际一流学术刊物上已发表的论文(注明出处),对后者经审稿录用后,邀请作者出席年会并作报告(但论文不再收入论文集);②除特邀报告外,还将安排专委委员作大会报告,并组织专题讨论会。二、征文范围

关键词：

学校读者我要写书评

暂无评论

2012年全国理论计算机科学学术年会

科技导报 2012年第14期 88-88页

学校读者我要写书评

暂无评论

计算机应用 2012年第3期32卷 F0003-F0003页

由中国计算机学会主办、海南大学信息与科学技术学院承办的“2012年全国理论计算机科学学术年会”将于2012年8月17-19日在海南省海口市召开。

关键词：

学校读者我要写书评

暂无评论

计算机应用 2012年第2期 595-595页

由中国计算机学会主办、海南大学信息与科学技术学院承办的"2012年全国理论计算机科学学术年会"将于2012年8月17—19日在海南省海口市召开。为进一步提高学术水平,本次年会将采取以下措施:

关键词：

2012年全国理论计算机科学学术年会(NCTCS2012)征文通知

学校读者我要写书评

暂无评论

计算机研究与发展 2012年第3期49卷 645-645页

由中国计算机学会主办、海南大学信息与科学技术学院承办的＂2012年全国理论计算机科学学术年会＂（NCTCS2011）将于2012年8月17日至19日在海南省海口市召开.

关键词：

2012年全国理论计算机科学学术年会(NCTCS2012)征文通知

学校读者我要写书评

暂无评论

计算机研究与发展 2012年第2期49卷 260-260页

由中国计算机学会主办、海南大学信息与科学技术学院承办的“2012年全国理论计算机科学学术年会”（NCTCS2011）将于2012年8月17日至19日在海南省海口市召开．

关键词：

学校读者我要写书评

暂无评论

计算机应用 2012年第2期32卷 F0003-F0003页

由中国计算机学会主办、海南大学信息与科学技术：学院承办的“2012年全国理论计算饥科学学术年会”将于2012年8月17-19日往海南行海口市召工。为进一步提高学术水平，本次年会将采取以下措施：1）除征集尚术在其他刊物或学术会议上正...

由中国计算机学会主办、海南大学信息与科学技术：学院承办的“2012年全国理论计算饥科学学术年会”将于2012年8月17-19日往海南行海口市召工。为进一步提高学术水平，本次年会将采取以下措施： 1）除征集尚术在其他刊物或学术会议上正式发丧过的论文外，

关键词：

学校读者我要写书评

暂无评论

计算机应用 2012年第3期 893-893页

由中国计算机学会主办、海南大学信息与科学技术学院承办的"2012年全国理论计算机科学学术年会"将于2012年8月17—19日在海南省海口市召开。为进一步提高学术水平,本次年会将采取以下措施:1)除征集尚未在其他刊物或学术会议...

由中国计算机学会主办、海南大学信息与科学技术学院承办的"2012年全国理论计算机科学学术年会"将于2012年8月17—19日在海南省海口市召开。为进一步提高学术水平,本次年会将采取以下措施:1)除征集尚未在其他刊物或学术会议上正式发表过的论文外,还将征文扩大到2011—2012年中国内地学者在国际一流学术刊物上已发表的论文(注明出处),对后者经审稿录用后,邀请作者出席年会并作报告(但论文不再收入论文集);2)除特邀报告外,还将安排专委委员作大会报告,并组织专题讨论会。

关键词：

学校读者我要写书评

暂无评论

加权有穷自动机的代数性质

加权有穷自动机的代数性质

2014全国理论计算机科学学术年会

作者：张丽霞安庆师范学院数学与计算科学学院安徽安庆 246013

在计算机科学中，白动机用作计算过程的动态数学模型，用来研究计算机的体系结构、逻辑操作、程序设计乃至计算复杂性理论。1961年，S chutzenberge:首先提出了加权自动机的概念，并提出了半环上的形式幂级数的概念，证明了Kleene-Schut... 详细信息

在计算机科学中，白动机用作计算过程的动态数学模型，用来研究计算机的体系结构、逻辑操作、程序设计乃至计算复杂性理论。1961年，S chutzenberge:首先提出了加权自动机的概念，并提出了半环上的形式幂级数的概念，证明了Kleene-Schutzenberger定理，即加权有穷自动机所识别的形式幂级数和有理幂级数是一致的。在加权有穷自动机理论基础上,利用强同态的概念,证明两个加权有穷自动机在计算能力上是等价的,并在加权有穷自动机的状态集上建立一种等价关系,得到加权有穷自动机的商自动机,证明加权有穷自动机与其商自动机在计算能力上也是等价的.并通过引入加权有穷自动机的可交换性分离性、(强)连通性及层的概念,讨论在(强)同态的条件下,两个加权有限状态机之间的可交换性分离性、(强)连通性及层的关系.

关键词：计算机技术加权有穷自动机形式幂级数强同态连通性