《编译原理与技术》课件－第3章（91页）.pptxVIP

编译原理与技术;主要内容;程序语言的语法描述;程序语言的语法描述;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;定义3.3: 如果存在直接推导的序列：v = w0 w1 w2… wn= w, (n＞0)，则称v推导出w，推导长度为 n。或者称w归约到v。记作v w。若有v w，或 v = w，则记作v w。 定义3.19: 设G[S]是一文法，如果符号串x是从开始符号推导出来的，即有S x，则称x是文法 G[S]的句型。若x仅由终结符号组成，即S x，x ∈VT*，则称x为G[S]的句子。;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;3.1 文法和语言;例3.10：验证文法G2: E→E + a｜a 产生的语言是所有由若干个“+”分隔开的a 组成的符号串，即 L(G2) = { a, a + a, a + a + a, a + a + a + a, . . . } 证明：(1) 按a 的数目n归纳证明：每个符号串a + a + . . .+ a ∈L (G2)。归纳基础：因为E→a，所以E a， a∈L(G2)。即n=1时成立。 归纳假