首页> 中文期刊>吉林大学学报（信息科学版） >一类递归函数的符号计算

一类递归函数的符号计算

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《吉林大学学报（信息科学版）》|2003年第4期|374-377|共4页
作者
高福山;
展开▼
作者单位

吉林大学,公共计算机教学与研究中心,吉林,长春,130026;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
递归函数; 符号计算; 可计算性; 图灵理论;

相似文献

中文文献
外文文献
专利

1. 一类递归函数的多态类型 [J] . 黄文集 . 软件学报 . 2004,第007期
2. 一类递归函数的转换 [J] . 高长铎 . 青岛大学学报：自然科学版 . 1998,第001期
3. 基于符号计算研究一类6-SPS并联机器人运动学正解问题 [J] . 王奇志 ,徐心和 . 机器人 . 1999,第2期
4. 城市轨道交通工程投资测算的实现技术研究——基于可变参数和递归函数 [J] . 黄一格 ,雷江松 ,张中安 . 华中师范大学学报（自然科学版） . 2021,第006期
5. 递归函数设计方法与技巧探究 [J] . 李饶 . 移动信息 . 2020,第005期
6. 一类次递归函数的分层 [C] . 郑锡忠 . 理论计算机科学“９１”学术年会 . 1991
7. 可计算与可学习的实递归函数 [A] . 李志敏 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号