程序设计语言——编译原理 第二章总结

程序设计语言——编译原理 

第二章总结

知识点

程序设计语言的定义

语法是语言结构的形式描述；分词法规则与语法规则；词法规则定义了单词符号的形成，语法规则定义了语法单位的形成。

但由字母表组成的单词构成的语句满足构成规则但其意义无法理解，这便是语义问题。

高级语言的特点

高级语言的分类；数据类型；操作；语句。

程序设计语言的语法描述

字母表；连接积；闭包；正规则闭包；文法；上下文无关文法；产生式；最左推导；最右推导；语法分析树；语法二义性，0型文法，1型文法，2型文法，3型文法

1.上下无关文法可由四元组表示，（ＶＴ，ＶＮ，Ｓ，P）

ＶＴ是一个非空有限集，它的每一个元素称为终结符号；
ＶＮ是一个非空有限集，它的每一个元素称为非终结符号，ＶＴ∩ＶＮ＝空集；
Ｓ是一个非终结符号，称为开始符号；
P是一个产生式（有限）集合，每个产生式形式是A→a　，其中，Ｐ∈ＶＮ，　　 a ∈（　ＶＴ∪ＶＮ）＊

开始符号S至少必须在某一产生式的左部出现一次。

2. 最左(最右)推导：在推导的任何一步α->β，其中α、β是句型，都是对α中的最左（右）非终结符进行替换

3.