CH3 右线性文法与有限自动机

有限性文法产生正则语言，该语言可以被有限自动机识别

pumping定理逻辑较为复杂，本文在pumping定理详解部分用逻辑语言梳理并阐述pumping定理与该必要条件取反的情况，给出了用pumping定理证明L不是正则集的逻辑语言清晰的描述。做题时用该描述有利于保持思路清晰，避免在细枝末节中出错。

知识点

• 有限（状态）自动机概述
  • 具有离散 输入 输出系统的一种数学模型
• 状态转移图与状态转移表
• 格局
• DFA
  • DFA定义：$M=(Q,T,\delta ,q_0,F)$
    • Q:状态集合
    • T:输入字母表
    • $\delta$:状态转移函数 Q*T=Q
    • $q_0$:初始状态（单个状态）
    • $F$:终止状态集合
  • 扩展 $\delta$ 适合输入字符串 $Q\ast T^{\ast }=Q$（注意这里的字符串可能是空串）
  • 被DFA接收的语言L(M)，M是定义自动机的符号
• NFA
  • NFA定义：$M=(Q,T,\delta ,q_0,F)$
    • Q:状态集合
    • T:输入字母表
    • $\delta$:状态转移函数 $ Q*T=2^{Q} $
    • $q_0$:初始状态（单个状态）
    • $F$:终止状态集合
  • 扩展 $\delta$ 适合输入字符串 $Q\ast T^{\ast }=2^Q$（注意这里的字符串可能是空串）
  • 被NFA接收的语言L(M)
• DFA NFA的等价转化（构造与NFA等价的DFA）
  • 什么是等价？
    • 指给定一个能被DFA（NFA）识别的语言，一定能构造一个NFA（DFA）也能识别该语言
  • 构造的方法
    • 子集构造法
  • 为什么这样构造正确？
• $ϵ-NFA$
  • $ϵ-NFA$ 和NFA唯一的不同 δ : Q ∗ ( T ∪ { ϵ } ) = 2 Q \delta:Q*(T\cup \{\epsilon\})=2^{Q} δ:Q∗(T∪{ ϵ})=2Q
  • $ϵ-CLOSURE$
  • 扩展 $\delta ={\delta }^{\prime }$ 适合输入字符串
    • ${\delta }^{\prime }(q,\omega )=$
    • $ϵ-CLOSURE(q),当\omega =ϵ$
    • $ϵ-ClOSURE\cdot \delta ({\delta }^{\prime }(q,{\omega }^{\prime }),a),当\omega ={\omega }^{\prime }a$
    • $\delta (q,a)!={\delta }^{\prime }(q,a)$
  • 被$ϵ-NFA$接收的语言L(M)
• DFA NFA $ϵ$-NFA 等价转换
  • $DFA\subseteq NFA\subseteq ϵ-NFA$
  • $ϵ-NFA$ -> NFA ->DFA
• 正则集和正则表达式
  • 正则集：正则表达式表达的字符串的集合。正则集本质上是一种语言，是$T^{\ast }$的子集
  • 运算：
    • 联合（或）
    • 连接
    • *闭包
• 右线性文法、正则表达式、有限自动机 等价性
  • 结论：
    • 右线性文法产生的语言=右线性语言
    • 正则表达式表达的语言=正则集
    • 右线性语言=正则集=正则语言
    • 识别右线性语言（正则集）的自动机：有限状态自动机（FA）
    • FA有：DFA ,NFA ,$epsil$