一种新型递归函数的求值算法
文献类型:期刊论文
作者 | 陈海明 |
刊名 | 软件学报
![]() |
出版日期 | 2004 |
卷号 | 15期号:9页码:1277-1291 |
关键词 | 上下文无关语言 递归函数 求值算法 |
其他题名 | evaluation algorithms of a new kind of recursive functions |
中文摘要 | 上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把CFRF扩充为多种类递归函数后的求值方法进行了说明.CFRF的几个求值算法均已在机器上实现,得到了实践的检验. |
收录类别 | cscd,ei |
语种 | 中文 |
公开日期 | 2010-07-22 |
源URL | [http://124.16.136.157/handle/311060/2863] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 陈海明. 一种新型递归函数的求值算法[J]. 软件学报,2004,15(9):1277-1291. |
APA | 陈海明.(2004).一种新型递归函数的求值算法.软件学报,15(9),1277-1291. |
MLA | 陈海明."一种新型递归函数的求值算法".软件学报 15.9(2004):1277-1291. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。