期刊文献+

一种新型递归函数的求值算法 被引量:2

Evaluation Algorithms of a New Kind of Recursive Functions
下载PDF
导出
摘要 上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把 CFRF 扩充为多种类递归函数后的求值方法进行了说明.CFRF 的几个求值算法均已在机器上实现,得到了实践的检验. Recursive functions on context-free languages (CFRF) are a kind of new recursive functions proposed especially for describing non-numerical algorithms used on computers. An important research aspect of this kind of functions is the exploration of evaluation algorithms. The paper summarizes the author's research on this issue. Beginning by a discussion on possible combinations of calculation and parsing, it presents a comprehensive introduction to the major algorithms in an order in which the applicable ranges of the algorithms increase (this is also the order that the algorithms were devised). The introduction emphasizes on a new, efficient, and general evaluation algorithm, i.e. the tree-oriented evaluation algorithm. The paper also explains the evaluation method for the many-sorted recursive functions extended from CFRF. The algorithms of CFRF are realized on computers, and are validated by practice.
作者 陈海明
出处 《软件学报》 EI CSCD 北大核心 2004年第9期1277-1291,共15页 Journal of Software
基金 国家自然科学基金~~
关键词 上下文无关语言 递归函数 求值算法 Algorithms Computers Context free grammars Context free languages Evaluation Trees (mathematics)
  • 引文网络
  • 相关文献

参考文献6

二级参考文献15

  • 1董韫美.Recursive functions of context free languages (Ⅰ)——The definitions of CFPRF and CFRF[J].Science in China(Series F),2002,45(1):25-39. 被引量:5
  • 2董韫美.Recursive functions of context free languages (Ⅱ)——Validity of CFPRF and CFRF definitions[J].Science in China(Series F),2002,45(2):81-102. 被引量:5
  • 3董韫美.Collection of SAQ Reports no..中国科学院软件研究所计算机科学实验室报告,ISCAS-LCS-95-09[M].,1995,8..
  • 4董韫美.Collection of SAQ Reports no.8-16.中国科学院软件研究所计算机科学实验室报告,ISCAS-LCS-96-01[M].,1996,3..
  • 5陈海明,中国科学院软件研究所计算机科学开放研究实验室报告,1996年
  • 6董韫美,中国科学院软件研究所计算机科学开放研究实验室报告,1996年
  • 7董韫美,中国计算机学会第9次全国学术会议论文集,1996年
  • 8董韫美,中国科学院软件研究所计算机科学开放研究实验室报告,1995年
  • 9团体著者,形式规约获取系统SAQ用户手册,1995年
  • 10Chen Haiming,J Computer Sci Technol,1999年,14卷,4期,414页

共引文献17

同被引文献26

引证文献2

二级引证文献2

;
使用帮助 返回顶部