中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	LFC语言检验方法的研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 吴端仪收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/17 LFC语言上下文无关文法（CFG）软件的检验
	基于最小序句子的上下文无关语言句子枚举期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 1, 页码: 9-14 黄文集 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 上下文无关语言句子枚举最小序句子最小序句子上下文无关语言句子枚举顺序扫描字符串方法验证系统形式规约效率获取系统形式化数据表性能实验时空基础策略
	一种新型递归函数的求值算法期刊论文 OAI收割软件学报, 2004, 卷号: 15, 期号: 9, 页码: 1277-1291 陈海明 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/07/22 上下文无关语言递归函数求值算法
	一个支持规约获取的形式规约语言期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 459-466 陈海明; 董韫美 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/07/22 形式规约语言上下文无关语言递归函数
	上下文无关语言分析树的一种表示形式期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 10, 页码: 1179-1184 陈海明; 董韫美 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/07/22 分析树构造上下文无关语言
	基于上下文无关语言递归函数的规约语言研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 陈海明收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/17 递归函数上下文无关语言形式规约语言求值实现解释器
	人机交互文法获取研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 张瑞岭收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 形式规约上下文无关文法归纳学习文法推断语言分析复用逐步求精
	运算构造和检验系统FC的设计和实现期刊论文 OAI收割软件学报, 1998, 卷号: 9, 期号: 10, 页码: 755-759 陈海明 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2010/07/23 上下文无关语言递归函数结构归纳函数计算形式规约