编译原理2.3.1-34-文法直观概念-形式定义.ppt

2.3 程序语言的语法描述;2.3.1 上下文无关文法;三、文法的直观概念 ;判断一个符号串是否为语法上正确的 句子;有关文法概念的给出;终结符;非终结符;开始符号 (识别符号);四、文法和语言的形式定义 ;1. 文法;2. 产生式;产生式可以递归;(b) 文法 举例;补充例文法 2;(c) 文法的写法;G = ( {S,A}，{a,b}，P，S)， P ＝ { S→aAb， A→ab， A→aAb， A→ε };G = ( {S,A}，{a,b}，P，S)， P ：S→aAb， A→ab， A→aAb， A→ε ;G ： S→aAb， A→ab， A→aAb， A→ε; A→α1， A→α2 ， … A→αn缩写为： A→α1 | α2 | … | αn ;思考题;3. 直接推导, 直接归约 ?;; 思考题 ;直接推导 举例;4. 推导出, 归约到 ;推导 举例;5.句型, 句子;判断对错;6. 语言 L(G) ;文法和语言 题型;文法和语言 举例;补充例文法和语言2;例2.1 G1: S→bA, A→aA | a L(G1)={ ban | n≥1 } ;;;请写出描述以下语言的文法;7. 文法等价 (补充 );8. 最左推导, 最右推导;符号辨析