基于最小序句子的上下文无关语言句子枚举
文献类型：期刊论文
| 作者 | 黄文集 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2004 |
| 卷号 | 41期号:1页码:9-14 |
| 关键词 | 上下文无关语言 句子枚举 最小序句子 最小序句子 上下文无关语言 句子枚举 顺序扫描 字符串 方法 验证系统 形式规约 效率 获取系统 形式化 数据表 性能 实验 时空 基础 策略 |
| ISSN号 | 1000-1239 |
| 其他题名 | enumerating sentences of context free language based on first one in order |
| 中文摘要 | 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率. |
| 收录类别 | wanfang ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 附注 | Enumerating sentences for CFL is often needed in SAQ (specification acquisition system) and some formal proof systems. The current methods are not very efficient and enough. Some of them are limited to deal with specific CFL, like regular CFL. First and l |
| 源URL | [http://124.16.136.157/handle/311060/12834]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 黄文集. 基于最小序句子的上下文无关语言句子枚举[J]. 计算机研究与发展,2004,41(1):9-14. |
| APA | 黄文集.(2004).基于最小序句子的上下文无关语言句子枚举.计算机研究与发展,41(1),9-14. |
| MLA | 黄文集."基于最小序句子的上下文无关语言句子枚举".计算机研究与发展 41.1(2004):9-14. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。