多类型递归函数

• 作者: 董韫美
• 来源期刊: 中国科学（数学）
• 关键词: 多类型递归函数(MTRF) 多类型原始递归函数(MTPRF) 通用求值函数
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 论文
• 页码范围: 1549-1562
• 页数: 14页
• 语种: 中文
• DOI: 10.1360/N012015-00053

摘要

本文旨在建立多类型递归函数(MTRF),目的是,为在计算机上实现的函数式语言提供理论原型.MTRF函数是可计算函数,其定义域和值域的数据类型包括:自然数、逻辑值、有穷字母表上的字、上下文无关语言(CFL)句子、CFL句子的分析树.本文指出MTRF函数与自然数递归函数是等价的,构造了可在计算机上实现的MTRF函数eval,可用来对任意MTRF函数求值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董韫美	中国科学院软件研究所	9	59	6.0	7.0