3文法与语言.pptVIP

第3章 文法和语言; 1）语法：任何语言程序都可以看成是一定字符集（称为字母表）上的字符串（有限序列）。但是什么样的字符串才算是一个合适的程序呢？所谓一个语言的语法是指这样的一组规则，用它可以形成和产生一个合适的程序。这些规则一部分称为词法规则，另一部分能称为语法规则（或产生规则）。; 注意这里提到三个概念： a.一个程序只是用一个有限字符集作为字母表； b.词法规则是指单词符号的形成规则。单词符号一般包括：各类型的常数、标识符、基本字、算符和界符等。 C.语言的语法规则规定了如何从单词符号形成更大的结构（即语法单位），换言之，语法规则是语法单位的形成规则。一般程序语言的语法单位有：表达式、语句、分程序、函数、过程和程序等。; ; 2）语义： 对于一个语言来说，不仅要给出它的词法、语法规则，而且要定义它的单词符号和语法单位的意义。这就是语义问题。 语义是指这样的一组规则，使用它可以定义一个程序的意义。 我们常常把程序涉及语言的语义分为两类：静态语义和动态语义。 我们采用的方法为：基于属性文法的语法制导翻译方法。; 3.1 文法的直观概念 文法是描述语言的语法结构的形式规则（即语法规则）。 ;句子::=主语谓语 主语::=代词|名词 代词::=我|你|他 名词::=王明|大学生|工人|英语 谓语::=动词直接宾语 动词::=是|学习 直接宾语::=代词|名词;3.2 符号和符号串;3.3 文法和语言的形式定义;开始符号（也称为识别符号）是一个特殊的非终结符号。 产生式（也称为产生规则或简称规则）是定义语法范畴的一种书写规则。一个产生式的形式是 α→β ,其中箭头左边的α是某字母表V的正闭包V+中的一个符号，称为产生式的左部；箭头右边的β是V*中的一个符号，称为产生式的右部。 ; 产生式是定义语法范畴的。如要定义一类含+、*、（、）的算术表达式，这个定义可以这样给出： “变量是一个算术表达式；若E1和E2是算术表达式，则E1+E2、E1*E2和(E1)也是算术表达式” 对于这个定义，用产生式描述： E→i 　　Ｅ→Ｅ＋Ｅ 　　Ｅ →Ｅ＊Ｅ 　　Ｅ→（Ｅ）其中Ｅ代表“算术表达式”，ｉ代表“变量”;;2. 语言的形式定义 假定G是一个文法，S是它的开始符号。如果S?*?(表示从S出发，经0步或若干步可推出?），则称?是一个句型。仅含终结符号的句型是一个句子。文法G所产生的句子的全体是一个语言，将它记为L(G). L(G)={?|S ?* ? ?∈VT* } 　;;下面介绍几个简单文法的例子： 例2.1 考虑一个文法G1: S→bA A→aA|a 它定义了一个什么语言呢？ 从开始符S出发，我们可以推出如下句子： S?bA ?ba S?bA ?baA ?baa S?bA ?baA ? … ? baa…a 可以写为：L(G1)={ban|n≥1};;例3.3推导过程 S ＝ an-1S(BE)n-1 (1)S-aSBE n-1次 ＝ an-1aBE (BE)n-1 (2)S-aBE ＝ an(BE)n ＝ anBEBEBEBEB…..EBEBE ＝ anBnEn (3)EB-BE ＝ an-1aBBn-1En ＝ anbBn-1En (4)aB-ab ＝ anbnEn (5)bB-bb n－1次 ＝ anbn-1bEEn-1 ＝ anbneEn-1 (6)bE-be ＝ anbnen (7)eE-ee n-1次 ; 3.4 文法的类型 乔姆斯基把文法分为四种类型即0型、1型、2型、3型。0型强于1型，1型强于2型，2型强于3型。这几类文法的差别在于对产生式施加不同的限制。 文法G=(VN ,VT ,S,P)，如果它的每个产生式???是这样的结构:??(VN?VT)* 且至少有一个非终结符，而??(VN?VT)* ，则称文法G是一个0型文法，0型文法也称短语文法。;;;;3.5 上下文无关文法及其语法树 1. 语法分析树 前面我们提到过可以用一张图表示一个句型的推导，这种表示称为语法分析树，或简称语法树。 语法树的根结由开始符号所标记。随着推导的展开，当某个非终结符被它的某个候选式所替换时，这个非终结符的相应结点就产生了下一代新结点。每个新结点和其父亲结点间都有一条连线。在一棵语法树生长过程中的任何时刻，所有那些没有后代的端末结自左至右排列起来就是一个句型。; 例如对于文法G：