| 基于最小序句子的上下文无关语言句子枚举 |
| 其他题名 | enumerating sentences of context free language based on first one in order
|
| 黄文集
|
| 2004
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 41期号:1页码:9-14 |
| 摘要 | 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率. |
| 收录类别 | wanfang
; ei
|
| 关键词 | 上下文无关语言
句子枚举
最小序句子
最小序句子
上下文无关语言
句子枚举
顺序扫描
字符串
方法
验证系统
形式规约
效率
获取系统
形式化
数据表
性能
实验
时空
基础
策略
|
| 部门归属 | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院研究生院,北京,100039
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12834
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
黄文集. 基于最小序句子的上下文无关语言句子枚举[J]. 计算机研究与发展,2004,41(1):9-14.
|
| APA |
黄文集.(2004).基于最小序句子的上下文无关语言句子枚举.计算机研究与发展,41(1),9-14.
|
| MLA |
黄文集."基于最小序句子的上下文无关语言句子枚举".计算机研究与发展 41.1(2004):9-14.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论