📅  最后修改于: 2020-11-26 10:24:16        🧑  作者: Mango

多磁道图灵机是多磁带图灵机的一种特定类型，它包含多个磁道，但是在所有磁道上只有一个磁头读写。在此，单个磁带头一步就可以从n个磁道中读取n个符号。它接受递归可枚举的语言，例如普通的单轨单带Turing Machine接受的语言。多轨图灵机可以正式描述为6元组(Q，X，∑，δ，q0和F)，其中-Q是一组有限的状态X是磁带字母∑是输入字母δ是关于状态和符号的关系，其中δ(Qi，[a1，a2，a3，….]...

📅  最后修改于: 2020-11-26 10:24:40        🧑  作者: Mango

在非确定性图灵机中，对于每种状态和符号，TM可以执行一组操作。因此，这里的过渡不是确定性的。非确定性图灵机的计算是可以从开始配置开始达到的配置树。如果树的至少一个节点是接受配置，则接受输入，否则不接受。如果计算树停止对所有输入的所有部门，非确定性图灵机被称为决胜局，如果某些输入，所有分支都将被拒绝，输入也将被拒绝。一个不确定的图灵机可以正式定义为6元组(Q，X，∑，δ，q0，B，F)，其中-Q是一...

📅  最后修改于: 2020-11-26 10:25:07        🧑  作者: Mango

具有半无限胶带的图灵机具有左端，但是没有右端。左端用结束标记限制。这是两轨磁带-上轨道-它代表初始头部位置右侧的单元格。下部轨道-以相反的顺序代表初始头部位置左侧的单元格。无限长的输入字符串最初写入连续的磁带单元中的磁带上。机器从初始状态q0开始，头部从左端标记“ End”开始扫描。在每个步骤中，它都会读取磁头下方磁带上的符号。它在该磁带单元上写入一个新符号，然后将磁头移动到一个磁带单元的左侧或右...

📅  最后修改于: 2020-11-26 10:25:29        🧑  作者: Mango

线性有界自动机是具有一定有界有限长度的磁带的多轨不确定性图灵机。长度=函数(初始输入字符串的长度，常数c)这里，内存信息≤c×输入信息计算限于恒定的边界区域。输入字母包含两个特殊符号，分别用作左端标记和右端标记，这意味着过渡既不会移至磁带的左端标记的左侧，也不会移至磁带右端标记的右侧。线性有界自动机可以定义为8元组(Q，X，∑，q0，ML，MR，δ，F)其中-Q是一组有限的状态X是磁带字母∑是输入...

📅  最后修改于: 2020-11-26 10:25:55        🧑  作者: Mango

语言被称为可判定或递归如果它接受并停止在每个输入字符串砂图灵机。每种可决定的语言都是图灵可接受的。如果对于P的所有“是”实例的语言L是可判定的，则判定问题P是可判定的。对于可确定的语言，对于每个输入字符串，TM会停止在接受或拒绝状态，如下图所示：例子1找出以下问题是否可以判定-是素数“ m”吗?解质数= {2、3、5、7、11、13，…………..}将数字“ m”除以从“ 2”开始的“ 2”和“√m...

📅  最后修改于: 2020-11-26 10:26:13        🧑  作者: Mango

对于不确定的语言，没有图灵机接受该语言并为每个输入字符串w做出决定(尽管TM可以为某些输入字符串做出决定)。如果对于P的所有肯定实例的语言L不可确定，则决定问题P被称为“不可确定”。不确定的语言不是递归语言，但有时它们可能是递归可枚举的语言。例图灵机的停机问题死亡率问题凡人矩阵问题邮政通信问题等...

📅  最后修改于: 2020-11-26 10:26:40        🧑  作者: Mango

输入-图灵机和输入字符串w。问题-图灵机是否以有限的步骤完成字符串w的计算?答案必须是“是”或“否”。证明-首先，我们将假设存在这样的图灵机可以解决此问题，然后我们将证明它本身是矛盾的。我们将这种图灵机称为停止机，它会在有限的时间内产生“是”或“否”。如果停止机器在有限的时间内完成，则输出为“是”，否则为“否”。以下是停止机器的框图-现在我们将设计一个倒置停止机(HM)’–如果H返回YES，则永远...

📅  最后修改于: 2020-11-26 10:27:10        🧑  作者: Mango

赖斯定理指出，由图灵机识别的语言的任何非平凡的语义特性都是不确定的。属性P是满足该属性的所有图灵机的语言。正式定义如果P是非平凡的属性，并且拥有该属性的语言Lp被图灵机M识别，则Lp= {<M> | L(M)∈P}是不确定的。描述和属性语言的属性P只是一组语言。如果任何语言属于P(L∈P)，则说L满足属性P。如果某个属性不被任何递归可枚举的语言所满足，或者被所有递归可枚举的语言所满足，则该属性被称...

📅  最后修改于: 2020-11-26 10:27:40        🧑  作者: Mango

埃米尔·波斯特(Emil Post)在1946年提出的邮政对应问题(PCP)是一个不确定的决策问题。字母∑上的PCP问题表示如下-给定以下两个列表，∑ −上的M和N个非空字符串M =(x1，x2，x3，………，xn)N =(y1，y2，y3，………，yn)我们可以说，有一个Post通信解决方案，如果出于某种I1，I2，…………IK，其中1≤IJ≤n，则条件XI1…… .XIK= YI1……。 yi...

📅  最后修改于: 2020-11-26 10:28:08        🧑  作者: Mango

以下资源包含有关自动机理论的其他信息。请使用它们来获得有关此方面的更深入的知识。关于自动机理论的有用链接自动机理论Wiki-自动机理论的维基百科参考。自动机理论基础–自动机理论基础关于自动机理论的有用书籍要在此页面上注册您的网站，请发送电子邮件至...

📅  最后修改于: 2020-11-26 10:28:28        🧑  作者: Mango

自动机理论是计算机科学的一个分支，致力于设计自动遵循预定操作顺序的抽象自走式计算设备。具有有限状态数的自动机称为有限自动机。这是一个简短的简洁教程，介绍了有限自动机，常规语言和下推自动机的基本概念，然后再介绍图灵机和可确定性。...