| 一种新型递归函数的求值算法 |
| |
| 引用本文： | 陈海明. 一种新型递归函数的求值算法[J]. 软件学报, 2004, 15(9): 1277-1291 |
| |
| 作者姓名： | 陈海明 |
| |
| 作者单位： | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60103008, 60273023(国家自然科学基金) |
| |
| 摘 要： | 上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把CFRF扩充为多种类递归函数后的求值方法进行了说明.CFRF的几个求值算法均已在机器上实现,得到了实践的检验.
|
| 关 键 词： | 上下文无关语言 递归函数 求值算法 |
| 文章编号： | 1000-9825/2004/15(09)1277 |
| 收稿时间： | 2003-09-01 |
| 修稿时间： | 2004-01-08 |
Evaluation Algorithms of a New Kind of Recursive Functions |
| |
| CHEN Hai-Ming. Evaluation Algorithms of a New Kind of Recursive Functions[J]. Journal of Software, 2004, 15(9): 1277-1291 |
| |
| Authors: | CHEN Hai-Ming |
| |
| Abstract: | |
| |
| Keywords: | context-free language recursive function evaluation algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
