| 题名: | 基于最小序句子的上下文无关语言句子枚举 |
| 其他题名: | enumerating sentences of context free language based on first one in order
|
| 作者: | 黄文集
|
| 关键词: | 上下文无关语言
; 句子枚举
; 最小序句子
; 最小序句子
; 上下文无关语言
; 句子枚举
; 顺序扫描
; 字符串
; 方法
; 验证系统
; 形式规约
; 效率
; 获取系统
; 形式化
; 数据表
; 性能
; 实验
; 时空
; 基础
; 策略
|
| 刊名: | 计算机研究与发展
|
| 发表日期: | 2004
|
| 卷: | 41, 期:1, 页:9-14 | | 收录类别: | wanfang
; ei
|
| 部门归属: | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院研究生院,北京,100039
|
| 摘要: | 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/12834
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于最小序句子的上下文无关语言句子枚举.pdf（299KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
黄文集. 基于最小序句子的上下文无关语言句子枚举[J]. 计算机研究与发展,2004-01-01,41(1):9-14.
|
|
|
