文档介绍：Part2高级语言及其语法描述
授课:胡静
内容提要
预备知识——形式语言基础
程序语言的定义(语法定义、语义定义)
高级语言的一般特性(程序结构、数据类型和操作、语句与控制结构)
程序语言的文法
文法的类型
上下文无关文法及其语法树
有关文法实用中的一些说明
预备知识
更多的概念和一些约定
A, B, C, …用来表示非终结符
a, b, c, …表示终结符
…, X, Y, Z 可以用来表示终结符或者非终结符
…, w, x, y, z 表示终结符号串
α, β, γ, δ, …表示由终结符或非终结符构成的符号串
在产生式A→α中,
A 是产生式的左边(lefthand side,LHS)
α是产生式的右边( righthand side, RHS)
A→α1|…|αn 表示产生式 A→α1 ,…, A→αn
符号串和符号串集合的运算
将字符看做符号,则单词就是符号串,单词集合就是符号串的集合
将单词看做符号,则句子就是符号串,而所有句子的集合(语言)就是符号串的集合
程序语言的定义
程序语言的语法定义
所谓一个语言的语法是指这样一组规则,用它可以形成和产生一个合式的程序。这些规则一部分称为词法规则则,另一部分称为语法规则(或产生规则)
词法规则:词法规则规定了字母表中哪样的字符串是一个单词符号,是单词符号的形成规则
语法规则:语言的语法规则规定了如何从单词符号形成更大的结构(即语法单位),换言之,语法规则是语法单位的形成规则