【形式语言与自动机】【《形式语言与自动机理论（第4版）》笔记】第一章：绪论

1.1|集合的基础知识

集合论的发展

• 集合论是德国数学家康托于$1874$年创立的，经历了两个阶段
  • $1908$年以前称为朴素集合论，又称为康托集合论，存在集合悖论问题
  • 哲墨罗于$1908$年提出了第一个集合论公理系统，经富兰科尔和斯库利姆改进和补充，形成了$ZF$公理系统，同年，罗素给出了关于集合型的层次理论——类型论

集合的基数

• 如果集合$A$与集合$B$之间有一个一一对应，则称它们具有相同的基数
• 通常用$|A|$表示集合$A$的基数
• 集合的基数又称为集合的势

无穷集

• 无穷集可以分成可数集和不可数集
  • 设$S$是一个无穷集，如果集合$S$与自然数集$N$具有相同的基数，则称$S$是可数集
  • 否则，称$S$是不可数集

包集

• 如果集合$A$是集合$B$的子集，则称集合$B$是集合$A$的包集

等价符号

• $\iff$可用$iff$表示

集族

• 当一个集合的元素都是集合时，这样的集合称为集族

对称差

• 设$A$，$B$是两个集合，$A$与$B$的对称差由属于$A$但不属于$B$，以及属于$B$但不属于$A$的所有元素组成，记作$A\oplus B$

• $A\oplus B=(A\cup B)-(A\cap B)=(A-B)\cup (B-A)$

幂集

• 对任意集合$A$，$B$，有$2^{A\cap B}=2^A\cap 2^B$

---

1.2|关系

二元关系

• 设$A$，$B$是两个集合，任意的$R\subseteq A\times B$，$R$是$A$到$B$的二元关系
• 设$R$是$A$上的二元关系
  • 如果对任意$a\in A$，有$(a,a)\notin R$，则称$R$是反自反的
  • 如果对任意$a$，$b\in A$，当$(b,a)\in R$和$(a,b)\in R$同时成立时，必有$a=b$，则称$R$是反对称的
• 自反、对称、传递称为关系的三歧性

等价类

• 设$R$是集合$S$上的等价关系，则满足如下要求的$S$的划分$S_1$，$S_2$，$\cdots$，$S_n$，$\cdots$称为$S$关于$R$的等价划分，$S_i$称为等价类

  • $S=S_1\cup S_2\cup \cdots \cup S_n\cup \cdots$

  • 如果$i\ne j$，则$S_i\cap S_j=\varnothing$

  • 对任意$i$，$S_i$中的任意两个元素$a$，$b$，$aRb$恒成立

  • 对任意$i$，$j$，$i\ne j$，$S_i$中的任意元素$a$和$S_j$中的任意元素$b$，$aRb$恒不成立

• $R$将$S$分成的等价类的个数称为$R$在$S$上的指数，$R$可将$S$分成无穷多个等价类，此时称$R$具有无穷指数

关系的合成

• 设$R_1\subseteq A\times B$是$A$到$B$的关系，$R_2\subseteq B\times C$是$B$到$C$的关系，则$R_1$与$R_2$的合成$R_1\circ R_2$是$A$到$C$的关系

R 1 ∘ R 2 = {   ( a , c ) ∣ ∃ ( a , b ) ∈ R 1 , ( b , c ) ∈ R 2   } R_{1} \circ R_{2} = \set{(a , c) \mid \exist (a , b) \in R_{1} , (b , c) \in R_{2}} R1​∘R2​={(a,c)∣∃(a,b)∈R1​,(b,c)∈R2​}

递归定义

• 又称为归纳定义，可以用来定义一个集合，由$3$部分组成

  • 基础：指出该集合最基本的元素
  • 归纳：指出用集合中的元素来构造集合的新元素的规则
  • 极小性限定：指出一个对象是所定义的集合中的元素的充要条件是对该对象可以通过有限次地使用基础和归纳条款中所给的规定构造出来

• 设$R$是$S$上的二元关系，则$R^n$递归定义如下

  • R 0 = {   ( a , a ) ∣ a ∈ S   } R^{0} = \set{(a , a) \mid a \in S} R0={(a,a)∣a∈S}

  • $R^i=R^{i-1}R(i=1,2,3,\cdots )$

归纳法证明

• 归纳法证明与递归定义相对应，由三步组成

  • 基础：证明该集合的最基本元素具有性质$P$

  • 归纳：证明如果被定义集合的元素$a$，$b$，$\cdots$具有性质$P$，则用某种运算、函数或组合规则对这些元素进行处理后所得的结果也具有性质$P$

  • 由归纳法原理，集合中的所有元素具有性质$P$——集合具有性质$P$

例题

问题

• 对有穷集合$A$，证明$|2^A|=2^{|A|}$

解答

• 设$A$为一个有穷集合，现施归纳于$|A|$

• 基础：当$|A|=0$时， 2 A = {   ∅   } 2^{A} = \set{\emptyset} 2A={∅}，从而 ∣ 2 A ∣ = ∣ {   ∅   } ∣ = 1 |2^{A}| = |\set{\emptyset}| = 1 ∣2A∣=∣{∅}∣=1，$2^{|A|}=2^0=1$，所以$|2^A|=2^{|A|}$对$|A|=0$成立

• 归纳

  • 假设$|A|=n$时结论成立，$n\ge 0$，往证当$|A|=n+1$时结论成立

  • 设 A = B ∪ {   a   } A = B \cup \set{a} A=B∪{a}，$a\notin B$， ∣ A ∣ = ∣ B ∪ {   a   } ∣ = ∣ B ∣ + ∣ {   a   } ∣ = ∣ B ∣ + 1 |A| = |B \cup \set{a}| = |B| + |\set{a}| = |B| + 1 ∣A∣=∣B∪{a}∣=∣B∣+∣{a}∣=∣B∣+1

  • 2 A = 2 B ∪ {   C ∪ {   a   } ∣ C ∈ 2 B   } 2^{A} = 2^{B} \cup \set{C \cup \set{a} \mid C \in 2^{B}} 2A=2B∪{C∪{a}∣C∈2B}

  • 由于$a\notin B$，所以 2 B ∩ {   C ∪ {   a   } ∣ C ∈ 2 B   } = ∅ 2^{B} \cap \set{C \cup \set{a} \mid C \in 2^{B}} = \emptyset 2B∩{C∪{a}∣C∈2B}=∅

  • 可以构造一个一一对应 f : {   C ∪ {   a   } ∣ C ∈ 2 B   } → 2 B f : \set{C \cup \set{a} \mid C \in 2^{B}} \rightarrow 2^{B} f:{C∪{a}∣C∈2B}→2B，所以 ∣ {   C ∪ {   a   } ∣ C ∈ 2 B   } ∣ = ∣ 2 B ∣ |\set{C \cup \set{a} \mid C \in 2^{B}}| = |2^{B}| ∣{C∪{a}∣C∈2B}∣=∣2B∣

  • ∣ 2 A ∣ = ∣ 2 B ∪ {   C ∪ {   a   } ∣ C ∈ 2 B   } ∣ = ∣ 2 B ∣ + ∣ {   C ∪ {   a   } ∣ C ∈ 2 B   } ∣ = ∣ 2 B ∣ + ∣ 2 B ∣ = 2 ∣ 2 B ∣ |2^{A}| = |2^{B} \cup \set{C \cup \set{a} \mid C \in 2^{B}}| = |2^{B}| + |\set{C \cup \set{a} \mid C \in 2^{B}}| = |2^{B}| + |2^{B}| = 2 |2^{B}| ∣2A∣=∣2B∪{C∪{a}∣C∈2B}∣=∣2B∣+∣{C∪{a}∣C∈2B}∣=∣2B∣+∣2B∣=2∣2B∣

  • 显然，$B=n$，$|2^B|=2^{|B|}$

  • $|2^A|=2|2^B|=2\times 2^{|B|}=2^{|B|+1}=2^{|A|}$，结论对$|A|=n+1$成立

  • 由归纳法原理，结论对任意有穷集合成立

闭包

• 设$P$是关于关系的性质的集合，关系$R$的$P$闭包是包含$R$并且具有$P$中所有性质的最小关系

正闭包

• 设$R$是$S$上的二元关系，$R$的正闭包$R^{+}$定义为

  • （$1$）$R\subseteq R^{+}$

  • （$2$）如果$(a,b)$，$(b,c)\in R^{+}$，则$(a,c)\in R^{+}$

  • （$3$）除（$1$）和（$2$）外，$R^{+}$不再含有其他任何元素

• $R^{+}$具有传递性，又称为传递闭包

• 对任意二元关系$R$，有$R^{+}=R\cup R^2\cup R^3\cup \cdots$，当$S$为有穷集时，有$R^{+}=R\cup R^2\cup R^3\cup \cdots \cup R^{|S|}$

克林闭包

• 设$R$是$S$上的二元关系，$R$的克林闭包$R^{\ast }$定义为

  • （$1$）$R^0\subseteq R^{\ast }$，$R\subseteq R^{\ast }$

  • （$2$）如果$(a,b)$，$(b,c)\in R^{\ast }$，则$(a,c)\in R^{\ast }$

  • （$3$）除（$1$）和（$2$）外，$R^{\ast }$不再含有其他任何元素

• $R^{\ast }$具有自反性、传递性，又称为自反传递闭包

• 对任意二元关系$R$，有$R^{\ast }=R^0\cup R^{+}$

正闭包和克林闭包的性质

• 设$R_1$，$R_2$是$S$上的两个二元关系，则

  • $(R_1^{+}{)}^{+}=R_1^{+}$

  • $(R_1^{\ast }{)}^{\ast }=R_1^{\ast }$

  • $R_1^{+}\cup R_2^{+}\subseteq (R_1\cup R_2{)}^{+}$

  • $R_1^{\ast }\cup R_2^{\ast }\subseteq (R_1\cup R_2{)}^{\ast }$

---

1.3|图

无向图

度数

• 设$G=(V,E)$是一个无向图，对于$v\in V$， ∣ {   w ∣ ( v , w ) ∈ E   } ∣ |\set{w \mid (v , w) \in E}| ∣{w∣(v,w)∈E}∣称为顶点$v$的度数，记为$deg(v)$

有向图

• $\forall (v_1,v_2)\in E$称为从顶点$v_1$到顶点$v_2$的有向边或弧，$v_1$称为前导，$v_2$称为后继

---

1.4|语言

形式语言的产生

• $1959$年，乔姆斯基通过深入研究，将本人的研究成果与克林的研究成果结合，不仅确定了文法和自动机分别从生成和识别的角度去表达语言，而且证明了文法与自动机的等价性，此时形式语言才真正诞生，并被置于数学的光芒之下

字母表的乘积

• 设${\Sigma }_1$和${\Sigma }_2$是两个字母表，${\Sigma }_1$与${\Sigma }_2$的乘积： Σ 1 Σ 2 = {   a b ∣ a ∈ Σ 1 , b ∈ Σ 2   } \Sigma_{1} \Sigma_{2} = \set{ab \mid a \in \Sigma_{1} , b \in \Sigma_{2}} Σ1​Σ2​={ab∣a∈Σ1​,b∈Σ2​}

字母表的幂

• 设$\Sigma$是一个字母表，$\Sigma$的$n$次幂递归地定义为

  • Σ 0 = {   ε   } \Sigma^{0} = \set{\varepsilon} Σ0={ε}

  • ${\Sigma }^n={\Sigma }^{n-1}\Sigma ,n\ge 1$

字母表的闭包

正闭包

• 设$\Sigma$是一个字母表，$\Sigma$的正闭包：${\Sigma }^{+}=\Sigma \cup {\Sigma }^2\cup {\Sigma }^3\cup \cdots$

克林闭包

• 设$\Sigma$是一个字母表，$\Sigma$的克林闭包：${\Sigma }^{\ast }={\Sigma }^0\cup {\Sigma }^{+}$

句子

• 设$\Sigma$是一个字母表，$\forall x\in {\Sigma }^{\ast }$，$x$称为$\Sigma$上的一个句子，句子还称为字、行、串

出现

• 设$\Sigma$是一个字母表，$x$，$y\in {\Sigma }^{\ast }$，$a\in \Sigma$，句子$xay$中的$a$称为$a$在该句子中的一个出现

语言

• 设$\Sigma$是一个字母表，$\forall L\subseteq {\Sigma }^{\ast }$，$L$称为字母表$\Sigma$上的一个语言
• 当含有可数无穷个句子时，称$L$为无穷语言
• L 1 = {   0 n ∣ n ≥ 1   } L_{1} = \set{0^{n} \mid n \geq 1} L1​={0n∣n≥1}， L 2 = {   1 n ∣ n ≥ 1   } L_{2} = \set{1^{n} \mid n \geq 1} L2​={1n∣n≥1}， L 1 L 2 = {   0 n 1 m ∣ n , m ≥ 1   } L_{1} L_{2} = \set{0^{n} 1^{m} \mid n , m \geq 1} L1​L2​={0n1m∣n,m≥1}

---