2.第二章高级语言及其语法描述讲述.pptVIP

语义（Semantics ）：程序语言的语义通常是指这样的一组规则,用它可以定义一个程序的意义。这组规则称为语义规则。 对于赋值语句a:=b+c 语法：赋值语句由一个变量，后随一个符号“:=” 或 “=”，再在后面跟一个表达式所构成。 语义：先对该语句的右部表达式求值，然后把结果与语句左部变量相结合，并取代该变量原来的值。 语用：赋值语句可用来计算和保存表达式的值。 产生式的简化------若干左部相同的产生式，可以缩写， ? → ?1 ? → ?2 … ? → ?n 例1：对文法G1： S→A|SA A→0|1|2|3|4|5 现讨论推导数 25 是否唯一,推导如下: S = SA = S5= A5 =25 S = SA = AA= 2A =25 注意: (1). 句子是语言的最小单位 ; (2). 语言是所有终结符号所组成的集合的一个子集, 即 L ( G[S] ) ? VT*. 很多时候，不用将文法G的四元组显式地表示出来，而　只将产生式写出 G： S → 0S1， S → 01 　　　L(G)={0n1n|n≥1} S→aS|aP P→bP|bQ Q→cQ|c L(G3)={aibjck│i,j,k?1} 例3.7：文法G=({S，A},{a,b},P,E)其中P为： 　　　　(1)S　　aAS 　(2)A　　SbA 　(3)A　　SS (4)S a (5)A ba 图3.1的推导树是文法G的 　句型aabbaa的推导过程 把aabbaa叫做推导树的结果， 　把推导树叫做句型 　aabbaa的语法树 图3.1 推导树 例：G[E]: E 　 　i E 　 E+E E 　 E*E E 　 (E) 句型 i*i+i 的两个： 推导1：E ? E+E ? E*E+E ? i*E+E ? i*i+E ? i*i+i 推导2：E ? E*E ? i*E ? i*E+E ? i*i+E ?i*i+i 一个句型是否只对应唯一的一棵语法树？一个句型是否只 　有唯一的一个最左（最右）推导？ 不是 图3.2　推导1的语法树 图3.3　推导2的语法树 例如, 设有文法 G [S] : S :: = aAB A :: = Ba | a B :: = bd 则下面两棵树都是 G 的语法树 : S A B a b d B a S A B a b d B a 2、推导过程与语法树的生成 末端结点( 树叶) : 没有分枝向下射出的结点. 如果末端结点都是由终结符号组成, 则这些结点所组成的符号串为 句子,否则为句型. 例如, 设有文法 G[N] : N :: = ND|D D :: = 0|1|2|???|9 N = ND = DD = 2D = 25 最右推导出句子 25 : N = ND = N5 = D5 = 25 最左推导出句子 25 : 推导生成的语法树如右 : N D N D 2 5 3、子树与短语: 子树与简单子树: 语法树的某个结点连同它向下射出的部分组成了语法树的子树. 只含有单层分枝的子树称为简单子树. 例如, 上例的子树为: N D N D 2 5 (a) D N 2 (b) D 2 (c) D 2 (d) 例如, 上例中的(c) (d) . 子树与短语的关系: 结论 : (1) 子树的末端结点组成的符号串是相对于子树根的短语; (2) 简单子树的末端结点组成的符号串是相对于简单子树根的简单短语; (3) 最左简单子树的末端结点组成的符号串为句柄. Z U x y u ?????? 由语法树 (右图) 知 : Z x U y * U u + + 有: Z x U y x u y * 例如, 设有文法 G [E] : E :: = E + T | T T :: = T * F | F F :: = ( E ) | i 现用语法树求句型 T+ i 的所有短语、简单短语和句柄. E = E+T = E+F = E+i = T+i 句型 T+ i 的推导过程为: 推导生成的语法树如右 : 结论: (1). T+ i 为句型 T+ i