编译原理第二高级语言及其语法描述剖析.pptxVIP

第二章 高级语言及其语法描述;内容;TIOBE Index for September 2014;TIOBE Index for September 2014;TIOBE Index for September 2014;TIOBE Index for September 2014;1 Array language 2 Aspect-oriented languages 3 Assembly languages 4 Authoring languages 5 Command line interface languages 6 Compiled languages 7 Concurrent languages 8 Curly-bracket languages 9 Dataflow languages 10 Data-oriented languages 11 Data-structured languages 12 Declarative languages 13 Embeddable languages 14 Esoteric languages 15 Extension languages 16 Fourth-generation languages 17 Functional languages 18 Imperative languages 19 Interactive mode languages 20 Interpreted languages ;程序设计语言历史;A.M. Turing Award;12;;2.1 程序设计语言的定义;例 1;例 2;语法和语义;Syntax;语言定义举例;fact(int n){if(n=0){return 1}else{return n*fact(n-1)}};;类型系统-Type system;Typed versus Untyped languages;Static and Dynamic typing;Weak and Strong typing;混合使用;2.2 高级语言的一般特性;C语言的数据类型;不同语言中数据类型对比;数据类型的应用;record name, firstname : string; age : 0..99; case married : Boolean of true : (Spousesname : string); false : ( ) end;程序结构: Fortran语言;program main … procedure p1; … procedure p2; … begin … end; begin … end; … begin … end.;;语言分类;重点概念理解（课后）;2.3 程序设计语言的语法描述;2.3.1 文法引论;举例;符号串集合的连接(积)：;已知U={?, a, #, aa}，V={ab, a#, bb}，求UV， VU， U2 UV={ab, a#, bb, aab, aa#, abb, #ab, #a#, #bb, aaab, aaa#, aabb} VU= {ab, aba, ab#, abaa, a#, a#a, a##, a#aa, bb, bba, bb#, bbaa} U2={?, a, #, aa, a#, aaa, #a, ##, #aa, aa#, aaaa};文法的规则;自然语言中的例子：He gave me a book.;推导：He gave me a book.;;2.3.2上下文无关文法;上下文无关文法;A;;例：算术表达式的文法;中心思想：从文法的开始符号出发，反复连续使用产 生式，对非终结符施行替换和展开。;课堂练习;“?”：;E?(E);55;“句型”：设Ｇ是一个文法，Ｓ是其开始符号，Ｓ?α, α∈(ＶＴ∪VN)*;文法G1 S→bA A→aA|a;例 构造一个文法Ｇ３，使Ｌ（Ｇ３ ）＝｛ａｎｂｎ｜ｎ≥１｝;最左推导与最右推导;练习：G[S]: S?a|ε|(T) T?T,S|S 分别给出下列句子的最左推导过程： （1）（a,(a,a)) （2）(a,(a,));2.3.3语法分析树与二义性;例：（ｉ＊ｉ＋ｉ）的最左推导－（Ａ）;例： （ｉ＊ｉ＋ｉ）关于文法Ｇ的另一个最左推导－（Ａ’）;2、二义文法 用若一个文法中存在某个句子，它有两个不同的 　最左／右推导，则该文法为二义文法．;最右推导;注意：;B、二义问题是不可判定的： 即不存在一个算法，它能在有限步骤内，确切 的判定一个文法是否为二