【爆款】计算机数学基础.pptVIP

1.2.5 文法和语言的类型 王雷@版权所有 0型语言 1型语言 2型语言 3型语言 图1.4 形式语言的Chomsky层级 0.0 * 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 计算机科学的数学基础 第一章：语言与正规语言 1.1 符号、符号串及其运算 符号和符号串在形式语言中是非常重要的基本概念。 在计算机科学的发展中，符号主义一直占据着非常重要的位置。 语言的基础是字母表。 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 字母表：一个非空的有限集合称为字母表，通常用?或者大写的西文字母表示。字母表中的元素称作为字母或符号，一般用小写字母、数字等表示。 符号串：一个符号串是由字母表中的字母组成的一个有限序列。 符号串的长度：符号串所包含符号的个数称为符号串的长度。符号串w的长度记为|w|。 空串：长度为0的符号串称为空串，用?表示。 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 符号串的联结：联结是符号串的基本运算。两个符号串X和Y的联结，记为XY，就是把Y跟随在X的后面形成的符号串。 例1.1：设? = {1, 2}是一个字母表。设X = 11、Y = 22分别是?上的两个符号串。则： XY = 1122是X、Y两个符号串的联结，XY是?上的一符号串。 YX = 2211是Y、X两个符号串的联结，YX也是?上的一符号串。 一般来说，符号串的联结不满足交换律。显然符号串的联结是满足结合律的，即有，(XY)Z = X(YZ)。在例1.1中，显然有XY≠YX，(XY)X = X(YX) = 112211。 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 由于?是不含符号的符号串(空串)，所以对任意符号串X都有，?X = X? = X。由此我们可以认为?是符号串联结运算的单位元。 符号串的方幂：设X是符号串，把X自身联结n次后，得到的符号串Z，即Z = XX…XX = Xn，称为X的方幂。我们约定X0 = ?。这个定义可以递归地表示为： 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 符号串的子串、前缀和后缀： 符号串V是符号串W的子串，当且仅当存在符号串X和Y，使得W = XVY。这里，X和Y都可能是空串?。 集合的联结：设A和B都是符号串的集合，定以集合A和B的联结为： AB = {XY | X∈A且Y∈B}， 即集合A和B的联结是集合A中的符号串和集合B中的符号串的联结所构成的集合。 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 集合的方幂：设A是符号串的集合，把A自身联结n次后，得到的新的集合An，即An = A…A…A，称为集合A的方幂。 我们约定A0 = {?}。这个定义可以递归地表示为： 王雷@版权所有 0.0 * 1.1 符号、符号串及其运算 集合的闭包和正闭包：设A是符号串的集合，用A*表示A的所有的有限次方幂的并集，则称A*为集合A上的闭包，即： 注意：闭包A*与正闭包A+的差别在于是否包含空串?。在闭包A*中去掉空串?后就成为正闭包A+。A* 具有可数无穷多的符号串。 A* = A0∪A1∪A2∪…∪An∪… 而称A+ = A1∪A2∪…∪An∪… 为A上的正闭包，显然,有 A* = A0∪ A+ ， A+ = A*A = AA*。 语言：令?为一个字母表。若L ? ?*，则L是字母表?上的一个语言。 即：L为一个由字母表?上的字符串所构成的集合。 王雷@版权所有 0.0 * 1.2 文法与语言的形式定义 语言都是用文法来描述的。 一个文法实际上是一组有限的规则式。 非终结符（一种过渡性符号）：也是一种符号，但不是字母表?中的符号。我们将它记为V。 终结符：是一个语言的字母表?中的符号。我们将它记为T。 对于一个形式语言L，设T和V分别是它的终结符集和非终结符集，显然有L ? T*，且T∩V = ?。 王雷@版权所有 0.0 * 1. 2. 1 文法的形式化定义 定义1. 1：一条产生式是一个有序对(?, ?), 通常可写作如下形式 ?∷ = ? 或 ??? 其中：?∈V+，?∈V’*，V’= V∪T 。?称为产生式的左部，?称为产生式的右部。 注意：?∈ V+说明?是一个非终结符且?≠?，即产生式的左部不允许是空串。?∈ V’*说明产生式的右部是这样的一个符号串，它可以含有终结符，也可以含有非终结符，同时还可以为空串。 王雷@版权所有 0.0 * 1. 2. 1 文法的形式化定义 定义1. 2：文法G定义为一个四元组 G = (V，T，P，S), 其中：