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

语义（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,