一类递归函数的符号计算 |
| |
引用本文: | 高福山.一类递归函数的符号计算[J].吉林大学学报(信息科学版),2003,21(4):374-377. |
| |
作者姓名: | 高福山 |
| |
作者单位: | 吉林大学,公共计算机教学与研究中心,吉林,长春,130026 |
| |
基金项目: | 国家自然科学基金资助项目(90204014) |
| |
摘 要: | 针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题,给出了一类递归函数的符号计算方法。该方法把递归函数和图灵机结合起来,通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程,对计算机病毒程序及自复制/自传播的研究具有一定的参考价值。
|
关 键 词: | 递归函数 符号计算 可计算性 图灵理论 |
文章编号: | 1671-5896(2003)04-0374-04 |
修稿时间: | 2003年1月14日 |
Symbolic computations of recursive functions |
| |
Abstract: | |
| |
Keywords: | Recursive functions Symbolic computations Computability Turing theory |
本文献已被 CNKI 维普 万方数据 等数据库收录! |