程序设计语言|文法

从产生语言的角度出发，给出文法和语言的定义。

所谓产生语言，是指制定出有限个规则，借助他们就能产生此语言的全部句子。

1.文法的定义

描述语言语法结构的规则称为文法。文法是一个四元组G=(Vn,Vt,P,S)。

Vn是一个非空有限集，其每个元素称为非终结符；

Vt是一个非空有限集，其每个元素称为一个终结符；

Vn∩Vt=∅，Vn和Vt不含公共元素；V=Vn∪Vt，称V是文法G的词汇表，V中的符号称为文法符号。

P是产生式的有限集合，每个产生式形式为“α→β”的规则，α是产生式的左部，α∈V+且α中至少含有一个非终结符，β是产生式的右部，β∈V*，β是α的一个候选式。

S∈Vn，称为开始符号，它至少要在一个产生式中作为左部出现。

2.文法的分类

文法有4种类型：0型、1型、2型、3型。这4类文法之间的差别在于对产生式要施加不同的限制。

0型文法：G的任何产生式α→β，均有α∈(Vn∪Vt)+且α中至少含有一个非终结符，β∈(Vn∪Vt)*；

（对0型文法的每条产生式分别施加以下限制，则可得以下文法。）

1型文法：G的任何产生式α→β（S→ε除外）均满足|α|≤|β|（|x|表示x中文法符号的个数，ε是空串）；

2型文法：G的任何产生式形如A→β，其中A∈Vn，β∈(Vn∪Vt)*；

3型文法：G的任何产生式形如A→a或者A→aB（或者A→Ba），其中A，B∈Vn，a属于Vt；

0型文法是短语文法，其功能相当于图灵机，任何0型语言都是递归可枚举的。

1型文法是上下文有关文法，对非终结符的替换必须考虑上下文，且不允许替换成空串ε。

2型文法是上下文无关文法，非终结符的替换无须考虑上下文。

3型文法等价于正规式，因此也被称为正规文法或线性文法。

词法分析的词法规则一般用3型文法；

语法分析的语法规则一般用2型文法；语法分析方法有很多种，根据产生语法树的方向，可分为自底向上和自顶向下两类。

编译原理IF条件语句的翻译程序设计—简单优先法、输出四元式通过设计、编制、调试一个条件语句的语法及语义分析程序，加深对语法及语义分析原理的理解，并实现词法分析程序对单词序列的词法检查和分析。具体做到以下几点：①对输入语句进行词法分析。将输入的字符串进行扫描和分解，识别出一个个合法的单词。单词种类包括：关键字，标识符，运算符，常数和界限符②进行语法分析。编写条件语句的相应文法，按照语法分析方法中的简单优先分析法为文法设计简单优先表，对词法分析得到的单词序列进行语法分析，以判别输入的语句是否属于该文法的条件语句。③语法制导翻译。设计中间代码（四元式）序列的结构及属性文法，运用语法制导翻译，在进行语法分析的同时，执行相应的语义规则描述的动作，从而实现语义处理，生成中间代码以四元式的形式输出。④错误提示。对不同的错误给出简略描述，并终止程序的继续执行。下载地址如下，有你要的东西！pile.rar

（1） 语法是指由程序语言的基本符号组成程序中的各个语法成分（包括程序）的一组规则,其中由基本符号构成的符号（单词）书写规则称为语法规则,由符号（单词）构成语法成分的规则称为语法规则.程序语言的语法可通过形式语言进行描述.

（2）语义是程序语言中按语法规则构成的各个语法成分的含义,可分为静态语义和动态语义.静态语义指编译时可以确定的语法成分的含义：而运行时刻才能确定的含义是动态语义.一个程序的执行效果说明了该程序的语义,它取决于构成程序的各个组成部分的语义.

（3）语用表示了构成语言的各个记号和使用者的关系,涉及符号的来源,使用和影响.

语用的实现则有个语境问题.语境是指理解和实现程序设计语言的环境,这种环境包括编译环境和运行环境.

---