论文部分内容阅读
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
SDL语言SAVE功能的等价变换
【摘 要】
：
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
【机 构】
：
北京邮电大学
【出 处】
：
通信学报
【发表日期】
：
0年TXXB404.005期
【基金项目】
：
国家自然科学基金
其他文献
肺炎支原体肺炎旧称原发性非典型肺炎、冷凝集阳性肺炎，是由肺炎支原体（MP）感染引起的，临床表现为顽固性剧烈咳嗽。近10a来，MP感染在小儿呼吸道感染性疾病中所占比例显著上升，且以
<正>数学概念教学应淡化其形式化的定义,追求学生真正意义上的理解,这一点已成共识。"百分数的意义"是"百分数"单元最为重要的一节概念教学起始课,对百分数意义的理解不能仅
笔者此次选择的翻译文本是日本青山大学院箕輪雅美副教授2013年《早安少女组与AKB48的商业模式-诞生过程与新奇性·竞争优越性-》的一篇论文。这篇论文讨论了偶像文化背景下
本文通过对Batcher-Banyan网络中的Banyan网络及Batcher排序网络进行改进得出了二个新的分组交换结构,并按两种不同的情况分别用数学分析和计算机模拟的方法对这两个新交换结
贾宝玉作为书中为数不多拥有正面形象的人物,学界对他大多侧重其正面因素,并给予其充分的肯定与赞美,甚至有刻意拔高的倾向。但对其负面因素缺乏深入思考与研究,从而使得宝玉
它的双彩屏设计，能带来很好的3D画面视觉效果。采用了手写笔、触摸屏，支持中文手写输入功能，使用起来很方便。其另一个显著特点是内存大，可与所有DS版本卡带兼容，上千款Game Boy A
随着市场经济的快速发展和人们生存选择的无处不在的竞争,家长们对孩子前途的期望值与隐忧也同步增长.甚至可以这样说,"望子成龙"虽然是古已有之的一种社会性的心态,但没有什
互余编码及连续性要求对双向联想记忆的容量及回已有很大影响，Ｓｉｍｐｓｏｎ，Ｊｅｎｇ ｅｔ．ａｌ。提出了各自的解决方法，他们的方案的实质就是增加层内神经元间的连接，本文首先证明了ＩＢＭ没能解决互余编码问题，借助