📅  最后修改于: 2020-12-17 07:52:55        🧑  作者: Mango

PDA验收Pushdown自动机可以使用以下两种方法来接受一种语言：1.通过最终状态接受：如果PDA在读取整个输入后以零次或多次移动进入任何最终状态，则称PDA通过最终状态接受其输入。令P =(Q，∑，Γ，δ，q0，Z，F)为PDA最终状态可接受的语言可以定义为：2.通过空堆栈接受：从某些PDA的初始配置读取输入字符串，PDA堆栈将变空。令P =(Q，∑，Γ，δ，q0，Z，F)为PDA空堆栈可接受...

📅  最后修改于: 2020-12-17 07:53:47        🧑  作者: Mango

非确定性下推自动机非确定性下推自动机与NFA非常相似。我们将讨论一些接受NPDA的CFG。接受确定性PDA的CFG也接受非确定性PDA。同样，有些CFG只能被NPDA接受，而不能被DPDA接受。因此，NPDA比DPDA更强大。例：设计用于回文条的PDA。解：假设语言由字符串L = {aba，aa，bb，bab，bbabb，aabaa，……]组成。该字符串可以是奇数回文，甚至是回文。构造PDA的逻辑...

📅  最后修改于: 2020-12-17 07:54:43        🧑  作者: Mango

CFG到PDA的转换RHS生产中的第一个符号必须是终端符号。以下步骤用于从CFG获取PDA：步骤1：将给定的CFG生产转换为GNF。步骤2：PDA仅具有一种状态{q}。步骤3：CFG的初始符号将成为PDA中的初始符号。步骤4：对于非终端符号，添加以下规则：生产规则为A→α步骤5：对于每个终端符号，添加以下规则：范例1：将以下语法转换为接受相同语言的PDA。解：首先可以通过消除单元生产来简化CFG：...

📅  最后修改于: 2020-12-17 07:55:38        🧑  作者: Mango

图灵机图灵机由艾伦·图灵(Alan Turing)于1936年发明。它是一种接受设备，它接受由类型0语法生成的递归可枚举语言。图灵机具有多种功能：它具有一个外部存储器，可以记住任意长输入序列。它具有无限的存储功能。该模型具有可轻松读取磁带左侧或右侧输入的功能。机器可以根据其输入产生一定的输出。有时可能需要使用相同的输入来生成输出。因此，在此机器中，输入和输出之间的区别已消除。因此，图灵机可以使用一...

📅  最后修改于: 2020-12-17 07:56:29        🧑  作者: Mango

图灵机基本型号可以借助以下表示对车床进行建模。1.输入磁带上有无限多个单元，每个单元包含一个输入符号，因此可以将输入字符串放在磁带上。空磁带由空白字符填充。2.有限控制和负责读取当前输入符号的磁带头。磁带头可以从左到右移动。3.机器必须经历的一组有限状态。4.称为外部符号的有限符号集，用于建立图灵机的逻辑。...

📅  最后修改于: 2020-12-17 07:57:22        🧑  作者: Mango

图灵机接受的语言图灵机接受所有语言，即使它们可以递归枚举。递归表示重复同一组规则任意次数，而可枚举表示元素列表。 TM还接受可计算功能，例如加法，乘法，减法，除法，幂函数等。例：构造一个在∑ = {a，b}上接受aba语言的图灵机。解：我们将假设在输入磁带上将字符串“ aba”放置如下：磁带头将读出序列直到Δ个字符。如果磁带头读出“ aba”字符串，则TM在读取Δ后将停止。现在，我们将看到此图灵机...

📅  最后修改于: 2020-12-17 07:58:33        🧑  作者: Mango

TM的例子范例1：为语言L = {0n1n2n}构造一个TM，其中n≥1解：L = {0n1n2n| n≥1}表示只使用3个字符的语言，即0、1和2。在这种情况下，一定数量的0后跟相等数量的1，然后再相等数量的2。属于此类别的任何类型的字符串都将被该语言接受。001122的仿真如下所示：现在，我们将看到此图灵机如何在001122上工作。最初，状态为q0，并且将head指向0的情况是：该移动将为δ(...

📅  最后修改于: 2020-12-17 07:59:25        🧑  作者: Mango

不确定性简介在计算理论中，我们经常遇到回答为“是”或“否”的问题。可以回答“是”的问题类别称为可解决的或可判定的。否则，这类问题被认为是无法解决或无法确定的。通用语言的不确定性：通用语言Lu是可递归枚举的语言，我们必须证明它是不可确定的(非递归)。定理：Lu是RE，但不是递归的。证明：考虑语言Lu是递归可枚举的语言。我们将假设Lu是递归的。那么L u的补码L'u也是递归的。但是，如果我们有一个TM...

📅  最后修改于: 2020-12-17 08:00:18        🧑  作者: Mango

关于图灵机的不确定性问题在本节中，我们将讨论有关图灵机的所有不确定的问题。减少量用于证明给定语言是否可取。在本节中，我们将首先了解归约的概念，然后我们将在这方面看到一个重要的定理。减少归约是一种技术，其中，如果将问题P1简化为问题P2，则任何P2的解决方案都可以解决P1。通常，如果我们有一种算法可以将问题P1的实例转换为具有相同答案的问题P2的实例，则将其称为P1简化P2。因此，如果P1不是递归的...

📅  最后修改于: 2020-12-17 08:01:11        🧑  作者: Mango

函授问题在本节中，我们将讨论字符串的不确定性，而不是图灵机的不确定性。字符串的不确定性借助Post的对应问题(PCP)来确定。让我们定义PCP。“ Post的对应问题由两个在输入上长度相等的字符串列表组成。这两个列表分别是A = w1，w2，w3，….，wn和B = x1，x2，x3，…. xn，则存在一个非空的整数集i1，i2，i3，….，这样，w1，w2，w3，…。wn= x1，x2，x3，…...

📅  最后修改于: 2020-12-17 09:08:08        🧑  作者: Mango

乔姆斯基阶层Chomsky层次结构表示不同机器所接受的语言类别。乔姆斯基层次结构中的语言类别如下：类型0称为无限制语法。类型1称为上下文相关语法。类型2称为上下文无关语法。类型3常规语法。这是一个层次结构。因此，类型3的每种语言也都是类型2、1和0。类似地，类型2的每种语言也都是类型1和类型0，依此类推。类型0语法：类型0语法称为无限制语法。这些类型的语言的语法规则没有限制。这些语言可以由图灵机有...

📅  最后修改于: 2020-12-17 09:09:02        🧑  作者: Mango

正则表达式有限自动机接受的语言可以通过称为正则表达式的简单表达式轻松描述。这是代表任何语言的最有效方法。某些正则表达式接受的语言称为正则语言。正则表达式也可以描述为定义字符串的一系列模式。正则表达式用于匹配字符串中的字符组合。字符串搜索算法使用此模式来查找字符串上的操作。例如：在正则表达式中，x *表示x出现零次或多次。它可以生成{e，x，xx，xxx，xxxx，…..}在正则表达式中，x+表示x...