同济大学编译原理第二章高级语言及其语法描述.pptVIP

例 非CFL的文法 L={anbncn|n0}的文法 S?aBC|aSBC CB?BC aB?ab bB?bb bC?bc 可以证明不存在CFG G ,使L(G)=L 非CFL结构 在我们使用的程序语言中,有些语言结构并不是总能用上下文无关文法描述的。 例1 L1={wcw|w∈{a,b}+}。aabcaab就是L1的一个句子。这个语言是检查程序中标识符的声明应先于引用的抽象。 ?例2 L2={anbmcndm|n,m≥0}，它是检查过程声明的形参个数和过程引用的参数个数是否一致问题的抽象。 * * * 语境：指理解和实现程序设计语言的环境，包括编译环境和运行环境 * 赋值语句语法的非形式化描述为：赋值语句由一个变量，后随一个符号“=”，再在后面跟一个表达式所构成。 赋值语句的语义为：先对该语句的右部表达式求值，然后把所得结果与语句左部的变量相结合，并取代该变量原有的值。 赋值语句的语用为：赋值语句可用来计算和保存表达式的值。 * 注意这里提到三个概念：a.一个程序只是用一个有限字符集作为字母表；b.词法规则是指单词符号的形成规则。单词符号一般包括：各类型的常数、标识符、基本字、算符和界符等。C.语言的语法规则规定了如何从单词符号形成更大的结构（即语法单位），换言之，语法规则是语法单位的形成规则。一般程序语言的语法单