编译原理2.3.1-1-文法引入.pptVIP

2.3 程序语言的语法描述 2.3.1 上下文无关文法 2.3.2 语法分析树与二义性 2.3.3 形式语言鸟瞰 2.3.1 上下文无关文法 一、文法引入 二、符号和符号串 三、文法的直观概念 四、文法和语言的形式定义 一、文法引入 1. 如何形式地描述一种语言? 2. 规则的给出方式 3. 文法 4. 语法和文法 6. 上下文无关文法 5. 阐明语义 1. 如何形式地描述一种语言? 如果语言只含有有穷多个句子， 只需列出句子的有穷集 如果语言含有无穷多个句子，需要给出它的有穷表示 生成方式 将语言中的每个句子用严格定义的规则来构造 识别方式 自动机 2. 规则的给出方式 递归规则 EBNF 语法图 文法 (a)递归规则 例：表达式  任何标识符是表达式。 任何常数是表达式。 若表达式1和表达式2都是表达式， 那么：表达式1 + 表达式2 以及 表达式1 * 表达式2 都是表达式。 例：语句 (1) 标识符 := 表达式 是语句。(2) while(表达式) do 语句 和 if(表达式) then 语句 else 语句 都是语句。 (b)EBNF (BACKUS