摘要：AI的文学艺术生成本质上是对人类文学艺术作品的计算性模仿,对人类文艺的模拟体现在AI通过运算将已经数字化的人类作品数据库中作品的特征抽取出来,并形成数据间相互关联的数据向量网络空间。AI在生成作品时则是将人类输人的特征、要求指令计算出最符合要求的作品生成出来,并加以人工的矫正和修改。AI算法是以图灵机和冯诺依曼架构为理论基础的。AI文艺创作所产生的模仿效果来源于图灵所提出的“模仿游戏”的思想实验。

摘要：图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。

摘要：图灵机设计问题的常规解法一般有多个状态和较复杂的δ映像函数.给出了三种优化的解题方法,与常规方法相比用较少的状态数优化了图灵机的设计,达到减少状态的冗余和简化δ映像函数的目的.

摘要：图灵著名的"通用机"的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为,对可多样实现性的标准的功能主义论证有一个逻辑问题。这些论证实质上都依赖于图灵对计算的强有力的洞察。在处理了对这一批评的一种可能的答复之后,克里斯·伊利亚史密斯进一步论证了功能主义不是理解什么是具有心灵的一种有效途径。特别是他证明了在区别执行和功能时所涉及的难题会使可多样实现性无法检验,难以提供新的信息。因此,可以得出结论:图灵机在心灵哲学中的作用还需重新考虑。

摘要：尽管人工智能技术在数据挖掘、图像识别和统计预测等领域成就非凡,但机器人与环境的交互能力还亟待提升。作为涉身认知的起源之一,affordance概念常常被用来描述或解释人类、动物与环境进行互动的方式。目前,这个来自于生态心理学的理论也激发了人们对机器人设计的全新思路。机器人也可以被当作自主的行动主体,能够根据自身的物理能力来与环境进行有效的交互活动。通过理论论证和新近研究,吉布森的social affordance理论也能够在复杂的社会交往环境下,对机器人与人类的社交进行计算机意义上的语言描述。因此,该理论可以为未来机器人的设计与研发提供一个可靠的方向。

摘要：图灵机可视为等价于任何有限逻辑数学过程的终极逻辑机器。作为电子计算机的基础逻辑处理模式,它限定了电子计算机所能解决的计算问题的边界。通过两条线索的论述:一方面对图灵机的三种变体:自动图灵机、选择性图灵机以及先知图灵机做出简要介绍,并探讨图灵机在建筑设计计算领域内的具体应用方式及局限性;另一方面简要介绍了互动建筑理论,并对互动概念本身做了深入分析。由此这两条线索在关于先知图灵机与建筑设计互动计算范式的讨论中得到综合。最后依据先知图灵机、建筑设计的主客观复杂性以及互动概念,归纳整理了五条建筑设计的互动计算范式特点。

摘要：将图灵机转移函数δ(qi,aj)=(qk,al)编码为(i,Unicode(aj),k,Unicode(al)),并将此编码方案应用于所设计的通用图灵机模型.模型的存储装置由两个带组成:一个一维的单向带,用来存储输入数据ω;一个二维带,用来存储图灵机描述"M".在PC机上仿真了上述模型,控制器算法的时间复杂度为O(|K|2),优于传统编码方案的通用图灵机模型.

摘要：给出了接受语言L={0n1n|n≥0}的仅有3个状态的图灵机的一种设计,其方法是通过对带符号的配合使用来控制图灵机带头移动的方向,达到精减图灵机状态数的目的,并采用C语言编程实现.

摘要：形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。

摘要：DNA编码问题是DNA计算中初始数据库的设计问题,DNA编码优劣直接影响DNA计算的成功与否。提出了将DNA编码视为是某个文法产生的语言的思想,并且证明了DNA编码文法的存在性;进而通过化简文法的字母表,将DNA编码文法的设计问题转化为二进制文法的设计问题;同时设计出产生某个具体DNA编码的文法,最后得到了DNA编码文法的两个性质。