递归函数

作品数：164被引量：152H指数：6
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：陈海明董韫美郑锡忠李爱中黄文集更多>>
相关机构：中国科学院软件研究所南京大学哈尔滨工业大学电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个支持规约获取的形式规约语言被引量：7
《计算机学报》2002年第5期459-466,共8页陈海明 董韫美 
国家自然科学基金 (69873 0 42 ;60 10 3 0 0 8);国家"九五"科技攻关计划(98-780 -0 1-0 7-0 2 )资助
该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关...
关键词：规约获取 形式规约语言 上下文无关语言 递归函数 计算机 
机器发现的递归函数法被引量：2
《计算机学报》1993年第8期577-582,共6页李爱中 黄梯云 洪家荣 
国家教委博士教育基金
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该...
关键词：机器 递归函数 
K-1-度上半格的结构
《计算机学报》1989年第4期249-256,共8页黄文奇 陈志祥 
国家自年科学基金
我们在[5]中提出了K-n-度的概念,证明了∑_n^p≠∑_(n+1)~p当且仅当存在无穷多个不同的K-n-度,n≥0,对A∈NP^-,A的 K-n-度 deg_K^n(A)={B∈NP^-:K^n(B)=_m^PK^n(A)),令D_n={deg_K^n(A):A∈NP^-},对a、b∈D_n,定义a≤b,若存在A∈a、B∈b...
关键词：K-1-度 计算理论 递归函数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部