期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
状态逻辑语言迭代程序的可计算性
下载PDF
职称材料
导出
摘要
状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效,实用、新型的纯逻辑式程序设计语言,递归无疑地确保了其计算能力,本文证明了仅用状态逻辑的迭工程序冰可计算部分递旭函数,这就等于证明了,任何图灵可计算的对象都可用纯逻辑代地定义和高效地计算。
作者
阎志欣
出处
《软件学报》
EI
CSCD
北大核心
1996年第A00期337-347,共11页
Journal of Software
关键词
状态逻辑
可计算性
程序语言
迭代程序
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
阎志欣.
状态逻辑型程序设计语言[J]
.软件学报,1994,5(10):24-32.
2
鬼稻子,Prashant Sridharan.
C#编程语言的未来功能[J]
.中文信息(程序春秋),2003(7):81-86.
3
邢仁周,程辉.
基于MATLAB的单输出PID神经元网络仿真研究[J]
.工业控制计算机,2015,28(9):45-47.
4
张娜,吴俊杰,黄达,刘福东,周海芳.
忆阻器状态逻辑中与操作的高效设计与实现[J]
.计算机研究与发展,2012,49(S1):73-78.
被引量:1
5
卢素魁,董克诚.
逻辑函数的逻辑式表示[J]
.河北机电学院学报,1998,15(2):59-61.
6
连文波,汪美玲,陶秋铭,赵琛.
使用内存缓存的迭代应用编程框架[J]
.计算机系统应用,2015,24(3):44-49.
7
宋宇红,鞠洪尧.
用类实现数学表达式屏幕输入的C^(++)程序[J]
.宁波大学学报(理工版),2005,18(1):107-109.
8
章萃.
CCS:一个新的逻辑式程序设计语言的并行执行模型[J]
.计算机研究与发展,1991,28(7):27-33.
9
江文青,蒋雪明.
逻辑式程序设计语言的CCS执行模型的静态实现方法[J]
.计算机技术,1989(6):34-38.
10
赵虎,杨宇.
基于迭代式MapReduce的误差反向传播算法[J]
.计算机应用,2016,36(4):923-926.
被引量:3
软件学报
1996年 第A00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部