推导的长度大于等于1.pptVIP

小　结　（一） * * 文法和语言的基本知识 ?字母表是元素的非空有穷集合。元素可以是字母、数字或其他符号。 　字母表中的元素称为符号，或称为字符。 ?符号串是符号的有穷序列。说明：符号串中符号的顺序很重要的；空符号串 　用ε表示，由0个符号组成，长度为0。 ?符号串的运算： 　　1、符号串上的连结。设x和y是符号串，由串xy称为它们的连结。 　　2、集合的乘积。设A和B是符号串的集合，则A和B的乘积定义为： 　　　　　　　　　　　　AB＝｛xy | x ∈ A, y ∈ B} 3、符号串的幂运算。设x是符号串，则x的幂运算定义为： 　　　　　　　　 x0= ε x1= x x2=xx … … xn=xx…x=xxn-1 (n0) n个 4、集合的幂运算。设A是符号串集合，则集合A的幂运算定义为 　　　　　　　　　　　 A0＝｛ε｝ A1＝A A2＝AA　 … … An=AA…A=AAn-1 (n0) n个 5、集合A的正闭包A＋与闭包A＊。设A是符号串集合，则A的正闭包A＋和A的 　　　　　　　闭包A＊定义为　 A＋＝A1∪A2∪…∪An… A＊＝A0∪A1∪A2∪…∪An…={ε}∪A+ ?形式语言指序列的集合，是某个字母表上按某种规则构成的所有符号 　串的集合，不考虑语义。描述方法：一种当语言为有穷集合时，用枚举 　方法；另一种语言为无穷集合时，用文法描述语言。 ?文法的形式定义： 　1、规则：也称产生式，它是一个符号与一个符号串的有序对（A，β）， 　　　　　　通常写做A 　β（或A：：＝ β） 　　　　说明：A是规则左部，它是一个符号；β是规则右部，它是一个符号串； 　　　　　　　“　”和“：：＝”表示“定义为”或“生成”，意思是左部符号 　　　　　　　用右部的符号串定义或左部符号生成右部符号串。 　2、文法：是规则的非空有穷集合，通常表示成四元组G＝（VN，VT，P，S）。 　　　　　　其中，VN是规则的非空有穷集合。 　　　　　　　　　VT是规则中终结符号的集合。VN∩VT＝Φ。通常用V表示VN∪VT， 　　　　　　　　　　称为文法G的字汇表。 　　　　　　　　　P是文法规则的集合。 　　　　　　　　　S是一个非终结符号，称为文法的开始符号或文法的识别符号， 　　　　　　　　　　它至少要在一条规则中作为左部出现。则它开始，识别出 　　　　　　　　　　我们所定义的语言。 　举例说明见书P11：[例2.1]、[例2.2]、[例2.3]、[例2.4] ?语言的形式定义 　1、直接推导：令G是一文法，我们从xAy直接推出xay，即 ,仅 　　　A　α是G的一个规则且x，y ∈ （VN∪VT）＊。也就是说从符号串xAy 　　　直接推导出xay仅使用一次规则。 　2、推导：如果存在一个直接推导序列： 则称这个序列 　　　是一个从 至 的长度为 的推导，记为　　　　　，即　　　　表示 　　　从α0出发，经一步或若干步或使用若干次规则可推导出αn。 　3、广义推导：　　　　表示从α0出发，经0步或若干步，可推导出αn。也就是说 　　　　　　　意味着，　　　　，或者　　　　。 显然，直接推导的长度为1，推导的长度大于等于1，而广义推导的长度大于等于0。 　4、句型和句子：设有文法G[S](S是文法G的开始符号），如果 　　　则称符号串x为文法G[S]的句型。　　　　　　　，则称x是文法G[S]的句子。 　举例说明见书P14：[例2.5]、[例2.6] 　5、语言：文法G[S]产生的所有句子的集合称文法G所定义的语言，记L（G[S]）： 　　　　　　　　 且　　　　 　举例说明见书P14：[例2.7]、[例2.8]、[例2.9] 　6、从已知文法确定语言的中心思想是：从文法的开始符号出发，反复连续地 　　　使用规则，对非终结符施行替换和展开，找出句子的规律，用式子或自然 　　　语言描述出来。 　　　　　　7、形式语言理论可以证明如下两点： 　　　　　 （1）给定一个文法，就能从结构上惟一地确定其语言，即G　L（G）。 　　　　　 （2）给定一种语言，能确定其文法，但这种文法不是惟一的，即L　G1