编译原理（第3版）——文法与语言（1）

---

考试重点：闭包、文法判断、句型

---

1. 文法的直观概念

::=（定义为）等价为→

2. 符号和符号串 （不考，但是为基础）

①字母表：元素的有限非空集合 ∑ / V表示
②符号串：∑中的元素组成的有穷序列
(1)允许空符号串：ε，其长度为0，即|ε|=0
(2)符号串的连接：εx=xε=x
(3)符号串的方幂：设x=AB，xº=ε，x¹=AB，x²=ABAB…对于n>0,xⁿ=xxⁿ﹣¹=xⁿ﹣¹x
(4)符号串集合：AB={xy|x∈A且y∈B}，{ε}A=A{ε}=A
闭包：∑*是集合∑的闭包。
例如∑={0,1},则∑ *={ε，0,1,00,01,10,11…}

∑² 中的2代表长度为2的字符串

∑* = ∑º U ∑¹ U ... U ∑ⁿ ...
∑﹢ = ∑¹ U  ∑²  U ... U  ∑ⁿ ...
∑* = ∑º U ∑﹢ 
∑﹢= ∑ ∑*= ∑*∑

3. 文法语言的形式定义

①文法G定义为四元组（Vn,Vt,P,S）

    Vn为非终结符（大写） ，非空有穷集合
	Vt为终结符（小写） ，非空有穷集合 
	P为产生式，规则（α→β）的集合，α∈（Vn U Vt）*且至少含有一个非终结符，β∈（Vn U Vt） *，
且为非空有穷集合
    S为开始符，非终结符，至少有在一个规则中作为左部出现
    Vn Λ Vt  = Φ