Institutional Repository
| 基于最小序句子的上下文无关语言句子枚举 | |
| Alternative Title | enumerating sentences of context free language based on first one in order |
| 黄文集 | |
| 2004 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 41Issue:1Pages:9-14 |
| English Abstract | 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率. |
| Indexed Type | wanfang ; ei |
| Keyword | 上下文无关语言 句子枚举 最小序句子 最小序句子 上下文无关语言 句子枚举 顺序扫描 字符串 方法 验证系统 形式规约 效率 获取系统 形式化 数据表 性能 实验 时空 基础 策略 |
| Department | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院研究生院,北京,100039 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12834 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 黄文集. 基于最小序句子的上下文无关语言句子枚举[J]. 计算机研究与发展,2004,41(1):9-14. |
| APA | 黄文集.(2004).基于最小序句子的上下文无关语言句子枚举.计算机研究与发展,41(1),9-14. |
| MLA | 黄文集."基于最小序句子的上下文无关语言句子枚举".计算机研究与发展 41.1(2004):9-14. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于最小序句子的上下文无关语言句子枚举.（299KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment