一类递归函数的符号计算

• 作者: 高福山
• 来源期刊: 吉林大学学报(信息科学版)
• 学科: 工学
• 关键词: 递归函数 符号计算 可计算性 图灵理论
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 374-377
• 页数: 4页
• 分类号: TP301.6
• 字数: 3427字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2003.04.013

摘要

针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题,给出了一类递归函数的符号计算方法.该方法把递归函数和图灵机结合起来,通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程;对计算机病毒程序及自复制/自传播的研究具有一定的参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高福山	吉林大学公共计算机教学与研究中心	7	0	0.0	0.0