Part 2 Language Description and Implementation 语言描述与实现
Part 2 Language Description and Implementation 语言描述与实现
程序语言的定义 ■程序语言由两方面定义: 语法 口语义 口语用
程序语言的定义 ◼ 程序语言由两方面定义： 语法 语义 语用
教学要点 ■上下文无关文法 ■直接推出与推导、最左推导与最右推导 ■句型、句子与语言 ■递归与语言 ■语法树与二义性 ■EBNF与语法图 ■乔姆斯基文法
教学要点 ◼ 上下文无关文法 ◼ 直接推出与推导、最左推导与最右推导 ◼ 句型、句子与语言 ◼ 递归与语言 ◼ 语法树与二义性 ◼ EBNF与语法图 ◼ 乔姆斯基文法
语法 ■程序本质上是一定字符集上的字符串。 语法:一组规则,用它可以形成和产生 个合式(wel1 formed的程序
一 . 语法 ◼ 程序本质上是一定字符集上的字符串。 ◼ 语法：一组规则，用它可以形成和产生一 个合式(well-formed)的程序
语法 ■词法规则:单词符号的形成规则 口单词符号是语言中具有独立意义的最基 本结构。一般包括:常数、标识符、基 本字、算符、界符等。 □描述工具:有限自动机 语法规则:语法单位的形成规则。 口语法单位通常包括:表达式、语句、分 程序、过程、函数、程序等; □描述工具:上下文无关文法
语 法 ◼ 词法规则：单词符号的形成规则。 单词符号是语言中具有独立意义的最基 本结构。一般包括：常数、标识符、基 本字、算符、界符等。 描述工具：有限自动机 ◼ 语法规则：语法单位的形成规则。 语法单位通常包括：表达式、语句、分 程序、过程、函数、程序等; 描述工具：上下文无关文法