程序功能的局限性与密码系统
软件开发过程实际上是”问题空间”向”方案空间”的转换过程.根据”问题空间”和”方案空间”的特点,对它们的表示方法进行了抽象,并从一些有代表性的问题入手,对有关程序功能的局限性进行了分析和讨论.由得出的结论可知:无论程序设计语言如何进步,只要最终的实际计算机是基于图灵机模型,则程序的功能总具有局限性,即存在大量不可判定的程序.这从理论上说明了基于”不可计算性”的密码系统的可行性,并为此给出了一个设想方案.
计算机科学技术基础 问题空间 方案空间 可计算性 密码系统
赵永哲 黄声烈 赵焱 邢磊
吉林大学计算机科学与技术学院(吉林长春)
国内会议
长春
中文
507-511
2004-07-30（万方平台首次上网日期，不代表论文的发表时间）