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

自动机教程自动机理论是计算机科学和数学的理论分支。它是对抽象机器以及使用这些机器可以解决的计算问题的研究。抽象机器称为自动机。具有有限状态数的自动机称为有限自动机。在本教程中，我们将学习如何构造确定性有限自动机，非确定性有限自动机，正则表达式，无上下文语法，无上下文语言，下推自动机，车削机等。先决条件在学习自动机之前，您应该对字符串，语言，字母，符号有基本的了解。听众我们的自动机教程旨在帮助初学者...

📅  最后修改于: 2020-12-17 06:44:45        🧑  作者: Mango

自动机理论自动机理论是计算机科学和数学的理论分支。它是对抽象机器以及使用这些机器可以解决的计算问题的研究。抽象机器称为自动机。发展自动机理论的主要动机是开发描述和分析离散系统动态行为的方法。此自动机由状态和转换组成。状态用圆圈表示，过渡用箭头表示。自动机是一种将一些字符串作为输入的机器，该输入经过有限数量的状态，并可能进入最终状态。有一些在自动机中很重要且经常使用的基本术语：符号：符号是一个实体或...

📅  最后修改于: 2020-12-17 06:45:37        🧑  作者: Mango

有限自动机有限自动机用于识别模式。它以符号字符串作为输入，并相应地更改其状态。找到所需符号后，便会发生过渡。在过渡时，自动机可以移至下一个状态或保持相同状态。有限自动机有两种状态，接受状态或拒绝状态。当成功处理输入字符串，并且自动机达到其最终状态时，它将接受。FA的正式定义有限自动机是5元组(Q，∑，δ，q0，F)的集合，其中：有限自动机模型：有限自动机可以用输入磁带和有限控制来表示。输入胶带：它...

📅  最后修改于: 2020-12-17 06:46:31        🧑  作者: Mango

过渡图过渡图或状态过渡图是有向图，可以按如下方式构造：Q中的每个状态都有一个节点，用圆圈表示。如果δ(q，a)= p，则从节点q到节点p的有向边标记为a。在开始状态下，有一个没有源的箭头。接受状态或最终状态由双圆圈表示。过渡图中使用的一些符号：有关DFA的运行方式的说明：1.在DFA中，自动机的输入可以是任何字符串。现在，将指针置于开始状态q并从左向右读取输入字符串w，然后根据转换函数δ移动指针。...

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

过渡表转换表基本上是转换函数的表格表示形式。它带有两个参数(一个状态和一个符号)，并返回一个状态(“下一个状态”)。过渡表由以下内容表示：列对应于输入符号。行对应于状态。条目对应于下一个状态。起始状态由没有来源的箭头表示。接受状态用星号表示。范例1：解：给定DFA的转换表如下：Present StateNext state for Input 0Next State of Input 1→q0q1...

📅  最后修改于: 2020-12-17 06:48:21        🧑  作者: Mango

DFA(确定性有限自动机)DFA是指确定性有限自动机。确定性是指计算的唯一性。如果将机器一次读取一个符号的输入字符串，则该有限自动机称为确定性有限自动机。在DFA中，从当前状态到下一个状态的特定输入只有一条路径。DFA不接受空值移动，即DFA在没有任何输入字符的情况下无法更改状态。DFA可以包含多个最终状态。它在编译器的词法分析中使用。在下图中，我们可以看到从输入a的状态q0开始，只有一条路径通向...

📅  最后修改于: 2020-12-17 06:49:14        🧑  作者: Mango

DFA范例范例1：设计一个∑ = {0，1}的FA接受那些以1开头和0结束的字符串。解：FA将具有起始状态q0，只有输入1的边沿将从该状态进入下一个状态。在状态q1中，如果我们读到1，我们将处于状态q1，但是如果在状态q1中我们读到0，我们将到达状态q2，这是最终状态。在状态q2中，如果我们读取0或1，则将分别进入q2状态或q1状态。请注意，如果输入以0结尾，它将处于最终状态。范例2：设计一个∑ ...

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

NFA(非确定性有限自动机)NFA代表非确定性有限自动机。对于给定的常规语言，构造一个NFA比DFA容易。当存在从当前状态到下一个状态的特定输入的许多路径时，有限自动机称为NFA。每个NFA都不是DFA，但是每个NFA都可以转换为DFA。NFA的定义方式与DFA相同，但以下两个例外除外，它包含多个下一个状态，并且包含ε过渡。在下图中，我们可以看到从输入a的状态q0开始，有两个下一个状态q1和q2，...

📅  最后修改于: 2020-12-17 06:51:06        🧑  作者: Mango

NFA的例子范例1：为过渡表设计NFA，如下所示：Present State01→q0q0, q1q0, q2q1q3εq2q2, q3q3→q3q3q3解：可以通过使用表中给出的映射函数来绘制过渡图。这里，范例2：设计一个∑ = {0，1}的NFA可以接受所有以01结尾的字符串。解：因此，NFA为：范例3：设计一个∑ = {0，1}的NFA，其中双“ 1”后跟双“ 0”。解：带有双1的FA如下：...

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

消除ε过渡可以将带有ε的NFA转换为没有ε的NFA，并且可以将没有ε的NFA转换为DFA。为此，我们将使用一种方法，该方法可以删除给定NFA中的所有ε过渡。该方法将是：找出Q中每个状态的所有ε跃迁。这将称为ε-closure{q1}，其中qi∈Q。然后可以获得δ'跃迁。 δ'跃迁意味着δ运动的ε闭合。对每个输入符号和给定NFA的每个状态重复步骤2。使用结果状态，可以建立没有ε的等效NFA的转换表。...

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

从NFA转换为DFA在本节中，我们将讨论将NFA转换为其等效DFA的方法。在NFA中，当将特定的输入提供给当前状态时，机器将进入多个状态。在给定的输入符号上，它可以有零个，一个或多个移动。另一方面，在DFA中，当将特定输入提供给当前状态时，机器只会进入一个状态。 DFA在给定的输入符号上仅可移动一次。令，M =(Q，∑，δ，q0，F)是一个接受语言L(M)的NFA。应该存在由M'=(Q'，∑'，q...

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

从带有ε的NFA转换为DFA非确定性有限自动机(NFA)是一种有限自动机，在某些情况下，当为当前状态提供特定输入时，机器将进入多个状态或不止一种状态。它可以包含ε移动。它可以表示为M = {Q，∑，δ，q0，F}。哪里NFA带ε移动：如果任何FA包含ε事务或移动，则有限自动机称为NFA带ε移动。ε闭包：给定状态A的ε闭包是指可以从状态A到达的一组状态，只有ε(空)移动，包括状态A本身。将带有NF的...

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

最小化DFADFA的最小化意味着减少给定FA中的状态数。因此，在最小化FSM之后，我们获得了具有冗余状态的FSM(有限状态机)。我们必须遵循各种步骤以最小化DFA。这些如下：第1步：通过任意一组DFA转换，从初始状态中删除所有无法访问的状态。步骤2：绘制所有状态对的转换表。步骤3：现在将转换表分为两个表T1和T2。 T1包含所有最终状态，T2包含非最终状态。步骤4：从T1查找类似的行，以便：这就是...

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

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

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

正则表达式的例子范例1：在∑ = {0，1}上，为该语言编写一个正则表达式，以接受所有从1开始并以0结尾的所有字符串。解：在正则表达式中，第一个符号应为1，最后一个符号应为0。re如下所示：范例2：为该语言以a开头和结尾并在其中包含b的任何组合的语言编写正则表达式。解：正则表达式为：范例3：为以a开头但不包含连续b的语言编写正则表达式。解决方案：必须为该语言构建正则表达式：上述语言的正则表达式为：...