论文部分内容阅读
在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为,是被枚举句子的长度。实验数据表明,该算法是高效的,且应用更加便利。
上下文无关语言句子的反向自然枚举
【摘 要】
：
在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年8期
【基金项目】
：
国家自然科学基金项目（60573013、60421001）.
其他文献
J2EE架构凭借其分布性、可移植性、可伸缩性和可扩展性，已经成为面向企业级应用开发的主流架构。随着实现J2EE架构的框架产品不断出现，选择合适的框架成为基于J2EE架构企业级应
<正> 编辑同志: 我于今年春季栽培了一些小平菇,原料为玉米秸秆另加10％的玉米,在室内20℃条件下发菌。在后来栽培过程中,发现有一袋有米黄色的米柱状物质,不知此物对菌丝的生
介绍了信令控制协议SIP。针对现有SIP协议栈在支持多种处理器方面灵活度不高及兼容性和移植性较差的问题,提出采用PJSIP协议栈作为嵌入式终端的信令实现基础,以BF561处理器为
以军事斗争需求为背景，根据我军未来战场环境和军事行动对军人体能素质的特殊需求，结合我军军事训练法规，以教育学、体育学及军事学中的相关教学思想和理论为依据，建构一个可供军
目的通过调查中医药系统评价/Meta分析的引证现状,了解中医药相关证据的使用现状及用证偏向。方法系统检索中国知网、重庆维普、万方数据库、中国生物医学文献数据、PubMed、
目的探讨丹参酮对D-半乳将β-淀粉样肽蛋白片段1-40（Aβ1—40）复合模型大鼠学习记忆障碍（痴呆）的作用机制。方法应用D-半乳糖腹腔注射致衰老加大鼠双侧海马齿状回背侧10μg注射凝
模具是机械行业产品加工的重要工艺装备之一，是节约原材料、实现少无切削加工和提高产品性能的重要保证。模具的质量和使用寿命很大程度上取决于模具的材料的自身特性及热处理
随着新《纲要》思想不断深入，区域活动以其独特的“自由、自主、宽松、愉快”的形式越来越受到幼儿的欢迎，它为幼儿提供了充分的、自主活动的表现机会。3-6岁的幼儿正处在学习
人一旦步入老年,不仅生理机能发生了变化,还会发生种种心理的变化.特别是在生病以后,其后者对机体生理机能的影响及疾病的发展、转归就显得尤为重要.为此,多年来,我们对临床
为了解决Web票务平台在使用中面临着的大量并发访问和峰值问题,对基于集群系统设计思想的Web票务平台的系统结构进行了设计和研究,该平台能提供高可用性、高可扩展性网站订票