swallowblank的博客

文章目录前面的话一、 语言及文法1.1 文法的形式概念前面的话第一章 文法（形式化描述方法之一）第二章 自动机和文法和正规表达式（形式化描述方法的三种方法）第三章 图灵机（更高级的形式化手法）一、 语言及文法文法系统——一类生成系统1.1 文法的形式概念字母表：字符的有限集合——字母表T例T={a…z, A…Z, 0…9, +, -, …}字母表的成员不一定必须是单个的字...

第二章 目录2.1 有穷自动机（有限自动机）我们来回顾一下文法与自动机的区别：文法：对语言的有穷说明识别器：有穷的说明无穷语言的一种方法，最简单的识别器就是有穷自动机文法可以建模，但是文法不能有效地编程实现，因此引出了有穷自动机。有穷自动机不能定义所有由文法定义的语言，它所能定义的语言是3型文法。第一项：状态集第二项：字母表，可以理解文自动机中的终结符集合第三项：得儿塔...

该章主要内容：上下文无关文法（CFG）Chomsky范式和，Greibach范式确定下推自动机、非确定下推自动机（Pushdown Automaton）对任何CFA都能找到一种具有特有形式 的等价CFG（Context-Free Grammar）上下文无关文法对应的识别器是下推自动机。确定的下推自动机对应于上下文无关语言的一个子集（大部分的程序设计语言）。3.1 推导树与二义性...

文章目录图灵机1 定义：2 动作3 瞬时描述图灵机1 定义：2 动作解释一下：当前状态为q，读头符合为X，现将读头符号从X替换为Y，向左移动一格，状态转换为p。下面来看一个例子：上面是状态转移图的形式，下面用七元组和状态转移表来等价展示例一：3 瞬时描述背景为了描述图灵机的总体的格局，我们需要先给出瞬时描述的概念和定义。定义图灵机虽有无穷长的带, 但经过有限步, 带上非空内容总是有限的.。因此用全部非空符号、当前状态及带头位置，定义图灵机的瞬时描述(ID) 为X1 X2···X