chapter 2文法和语的言.ppt

【例】试写一文法，使其描述的语言L(G) 是能被5整除的整数集合。 解： G(Z): Z ?(+|- )A(0|5) A ?0|1|2|3|4|5|6|7|8|9|AA Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 解： G(Z)： Z ?aZa|bZb|cZc|a|b|c|? 【例】 已知语言L={x | x?{a,b,c}*,且x重复排列是 对称的（aabcbaa,aabbaa,等) 写出该语言的文法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 首先要了解如何确切地描述或定义一种程序设计语言，其次才能识别和分析这种语言。20世纪50年代，语言学家Noam Chomsky（乔姆斯基）提出了一个用来描述语言的数学系统，把用一组数学符号和规则来描述语言的方式叫做形式描述，而把能用数学符号和规则描述的语言称为形式语言。这种理论对程序设计语言的设计和编译程序的构造有着重大的作用。程序设计语言就是形式语言。 文法的类型 语言学家乔姆斯基把文法分为四种类型： 0型、1型、2型、3型。0行强于1型，1行强于2型，2型强于3型。这几种文法的差别在于对产生式施加不同的限制。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 0型文法 对文法的生成规则没有任何限制。在计算机语言应用中很少见。 1型文法（上下文有关文法） 在推导过程中，要依据上下文才能作相应替换。实际程序设计语言可能包含这种上下文有关的成分，但不是主要的。 2型文法（上下文无关文法） 是描述程序设计语言语法部分的主要文法。 3型文法（正则文法） 高级程序设计语言的单词符号，如标识符、无符号整数等都是采用3型文法来描述的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. G=(VT ,VN ,S ,P) 是一个0型文法，如果它的每个产生式 ???是这样的结构 ??(VN?VT)* 且至少有一个非终结符，而??(VN?VT)* 。 0型文法也称短语文法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 如果对0型文法分别施加以下的第i条限制，则就得到第i型文法: (1)G的任何产生式 ??? 均满足 |?|≤ |?|（其中|?|和|?|分别为?和?的长度；仅S??例外 (2）G的任何产生式为A??, A?VN , ??(VN? VT)* 。 (3) G的任何产生式为A??B或 A??，其中??VT*，A、B ? VN 。 【说明】其中1型文法也称上下文有关文法。这种文法意味着，对非终结符进行替换时务必考虑上下文并且一般不允许替换成空串?。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2型文法也称上下文无关文法。 G的任何产生式为A→β，A∈VN， β∈（VN∪VT)* 　　　表明凡出现在产生式左边的符号都是非终结符。 3型文法也称右线性文法。3型文法还有另一种形式，称左线性文法：一个文法G为左线性文法，如果G的任何产生式为 A→B? 或A→? ，其中?∈VT , A、B ∈ VN 由于3型文法等价于正规式所以也称正规文法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Co