论文部分内容阅读
在积自动机基础上,利用互模拟关系引出了商自动机,用以解决积自动机的状态组合爆炸问题.进而提出一个自然的测试语言包含的算法,这种算法的空间复杂度与规范自动机的状态数目呈指数关系即O(2k),其中K是规范自动机的状态数目.
一种测试语言包含的算法
【摘 要】
：
在积自动机基础上,利用互模拟关系引出了商自动机,用以解决积自动机的状态组合爆炸问题.进而提出一个自然的测试语言包含的算法,这种算法的空间复杂度与规范自动机的状态数目
【机 构】
：
西安邮电学院计算机系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2001年10期
其他文献
重庆市临床检验中心成立于1998年。主要负责全市各医疗机构及采供血机构临床检验规范化管理、质量评价及监督指导。在各级领导的亲切关怀和检验届同仁的大力支持下．经过多年的
为了学习、借鉴省外先进经验,抓好我省大项目管理工作,我们于7月份,赴上海、浙江和江苏学习考察,与当地计委的同志就项目前期工作、资金筹措等项目管理问题进行了广泛、深入
2020年初始,新冠肺炎疫情席卷全国,卫生监督队伍筑牢防线守护健康,为阻击新冠肺炎疫情蔓延做出重要贡献,同时也暴露出卫生监督执法过程中的相关问题。本文通过深挖问题产生原
本文提出了一种分布式多媒体存取机制ＣＤＭＡＭ，ＣＤＭＡＭ基于多媒体数据处理的流水线模型，以构件作为分布式多媒体数据存取基础，实现了媒体基本处理、ＱＯＳ状态调整以及同步控制等功能，通过构件管理器，ＣＤＭＡＭ实
信元时延对ＣＢＲ流量有着重要影响。本文在分析信元时延产生原因的基础上，研究了基于信元接口的ＡＴＭ网络时隙映射的信元时延，给出了信元时延的计算公式，并确定了其上限。
文学本体论研究,自20世纪80年代中期出现以来,一直是我国文学理论界关注的重点、难点问题,但发展迄今,文论界关于它的论说依然众说纷纭、莫衷一是。那么,究竟什么原因导致了
自＂十二五＂以来,浙江省深入贯彻落实国家《教育信息化十年发展规划（2012-2020年）》和全国教育信息化电视电话会议精神,紧紧围绕建设教育强省、加快实现教育现代化的目标,以全省教
目的：分析白内障超声乳化手术采用颞侧巩膜隧道切口和上方巩膜隧道切口此不同位置切口术后患者的满意度及其相关影响因素。方法：将62例（68眼）白内障患者随机分为观察组与对照组,