【摘 要】
:
SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用
【机 构】
:
中国科学院软件研究所计算机科学开放研究实验室
论文部分内容阅读
SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法,则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去(这种描述方法称为朴素表示法),使得语法描述很累赘.为此,作者设计了一种特殊的上下文无关文法,它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化.用这种文法可以相对简洁地描述程序语言和自然语言等复杂概念的完整定义,而且,其相应的语法分析效率较朴素表示法有所提高.同时,给出相应于这种特殊的上下文无关文法的语法分析和语法树生成算法.这些算法分别由在通用上下文无关语法的EARLEY分析算法及其相应的语法树生成算法的基础上改进而得到.“,”SAQ is an experimental system to perform acquisition, verification and reusing of formal specification, in which the lexical and syntactic definitions of one concept should be integrated into one context free grammar. If employed conventional context free grammars to describe the overall definitions of complicated concepts such as natural languages and programming languages, separators such as spaces and carrier returns should be included and the definitions should be very messy. To solve this problem, a ...
其他文献
首先给出了任务间次并行性存在的条件,讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程.此外,还就代码移动和任务合并对增强并行性、消减不必
根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型,设计并实现了一种新的多媒体编著语言MAL(MULTIMEDIAAUTHORINGLANGUAGE),该语言具有抽象描述、同步描述、逐步求精设计
研究了数据仓库中一般的实视图选取策略,定义一种利益代价图??BC图(BENEFITSCOSTGRAPH),并以BC图为基础给出了选取实视图集的算法.最后,将BC图扩展为BC+图,解决带索引的实视
怎樣作視導報告書和建議書,對於許多視導員來講,直到现在還是個困難問题。每一個视導員不僅想知道對视導報告書應該提出什麼要求,而且想知道應該用什麼方式去作報告書。比如
预湿上浆技术在国外已经比较成熟了。但是引进费用很高,双浆槽预湿上浆约150万人民币。安徽飞亚纺织发展股份有限公司以较低的费用在G142B-180型浆纱机上进行预湿上浆实践,获得
提出一种便于异构数据源集成的公共数据模型??OIM对象模型.它基于带根连通有向图,图中可出现环路,因而能自然地描述复杂对象与其成员对象间的引用关系和WWW上HTML文件间的链
通过分析得出了函数型程序的并行计算模型??任务树,并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响,提出了优化的任务划分算法,最后给出了在一个分布符号处理系统PARLISP中的实现结果“,”In this paper, task tree is introduced to model a parallel functional program on distributed and message passing platform. Based on this model, the m
数据挖掘(DATAMINING)被认为是解决“数据爆炸”和“数据丰富,信息贫乏(DATARICHANDINFORMA-TIONPOOR)”的一种有效方法.关联规则(ASSOCIATIONRULES)是数据挖掘的重要研究内容
本公司1996年引进40台比利时毕加诺Delta-190型喷气织机,1998年开始生产CJ14.6/14.6 524/394 170防羽布,其附加值高,一直畅销。但因种种原因,该品种织造效率一直较低,而且随着配棉
定义了备查点间隔之间的先于关系,并对分布式系统执行的语义正确性进行了约束,证明了逆时先于现象是产生多米诺效应的本质,提出了多米诺避免、多米诺检测与消除、多米诺容忍