形式语言与自动机 Part.5 上下文无关语言与下推自动机(PDA)

课程名：形式语言与自动机

作者：Lupinus_Linn

许可证：CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享

署名（英语：Attribution，BY）：您（用户）可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。

非商业性使用（英语：Noncommercial，NC）：您可以自由复制、散布、展示及演出本作品；您不得为商业目的而使用本作品。

相同方式共享（英语：Sharealike，SA）：您可以自由复制、散布、展示及演出本作品；若您改变、转变或更改本作品，仅在遵守与本作品相同的许可条款下，您才能散布由本作品产生的派生作品。（参见copyleft。）

引用：

本文中部分文字与图片引用自北京邮电大学计算机学院王柏教授的《形式语言与自动机》课程课件。

绪论中的证明方法部分引自清华大学王生原老师课件。

部分题目插图引用自北京邮电大学出版社《形式语言与自动机第二版》教材。

在此一并表示感谢，并不做商业用途。

本笔记所有内容的传送门

Part.1绪论, Part.2 语言与文法
Part 3.有限自动机
Part.4 正则语言，2DFA，Mealy&Moore机
Part.5 上下文无关语言与下推自动机(PDA)
Part.6 图灵机

文章目录

Part 5. 上下文无关文法和下推自动机
- 5.1 上下文无关文法
- 5.2 推导与归约
- 5.3 二义性
- 5.4 CFG的Chomsky范式（CNF）
- 5.5 CFG的Grebach范式（GNF）
- 5.6 消去CFG的无用符号
- - 5.6.1 找出生成符号集
  - 5.6.2 找出可达符号集
- 5.7 消去CFG的 ϵ \epsilon ϵ产生式（不是消符号）
- - 5.7.1 找出可致空符号集
  - 5.7.2 消去空产生式
- 5.8 消去CFG的单产生式（不是消符号）
- - 5.8.1 找出所有的单元偶对
  - 5.8.2 消去单产生式
- 5.9 化简顺序：消空→消单→消无用
- 5.10 消除递归
- - 5.10.1 消除直接左递归
  - 5.10.2 消除全部左递归
  - - 5.10.2.1 理解
    - 5.10.2.2 算法
- 5.11 转Chomsky范式
- 5.12 转Greibach范式
- 5.13 下推自动机
- 5.14 PDA的设计
- - 5.14.1 L ( M ) = { a n b n ∣ n ≥ 0 } L(M)=\{a^nb^n|n\ge 0\} L(M)={anbn∣n≥0}
- 5.15 终态接受 ↔ \leftrightarrow ↔空栈接受
- - 5.15.1 终态接受
    
    形式语言与自动机 Part.5 上下文无关语言与下推自动机(PDA)相关推荐
    1. 【计算理论】下推自动机 PDA ( 上下文无关语言 CFL 的泵引理 | 泵引理反证示例 | 自动机扩展 )
      文章目录 I . 上下文无关语言 ( CFL ) 的泵引理 ( Pumping Lemma ) II . 上下文无关语言 ( CFL ) 的泵引理 ( Pumping Lemma ) 示例 III ...
    2. 形式语言与自动机第6章上下文无关语言的性质
      文章目录第6章上下文无关语言的性质 CFL 的缩胀定理和 Ogden 定理 CFL 缩胀定理 Ogden 定理 CFL 的封闭性质和判定性质 CFL 封闭性质 CFL 判定性质 CFL 的成员资格 ...
    3. 形式语言与自动机——第三章上下文无关文法与下推自动机
      文章目录 3.1 推导树与二义性 3.2 上下文无关文法的改写 3.2.1 CFG的最简化 3.2.2 CFG的变换 3.2.2.1 去除可零化的非终结符 3.2.2.2 去除单产生式 3.2.2.3 ...
    4. 形式语言与自动机第5章上下文无关文法与下推自动机
      文章目录第5章上下文无关文法与下推自动机 CFG 的化简无用符号 CNF 和 GNF 范式 CNF 范式 GNF 范式 PDA 与 CFG 下推自动机 CFG →\to→ PDA PDA →\t ...
    5. 形式语言与自动机 Part.1绪论, Part.2 语言与文法
      课程名:形式语言与自动机作者:Lupinus_Linn 许可证:CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享署名(英语:Attribution,BY):您(用户)可以复制 ...
    6. 形式语言与自动机 Part 3.有限自动机
      课程名:形式语言与自动机作者:Lupinus_Linn 许可证:CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享署名(英语:Attribution,BY):您(用户)可以复制 ...
    7. 形式语言与自动机 Part.4 正则语言，2DFA，MealyMoore机
      课程名:形式语言与自动机作者:Lupinus_Linn 许可证:CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享署名(英语:Attribution,BY):您(用户)可以复制 ...
    8. 形式语言与自动机 Part.6 图灵机
      课程名:形式语言与自动机作者:Lupinus_Linn 许可证:CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享署名(英语:Attribution,BY):您(用户)可以复制 ...
    9. 计算机语言学翁富良,形式语言与自动机的关系.doc
      形式语言与自动机的关系形式语言与自动机的关系研究新疆师范大学数理信息学院数学03-6班摘要: 形式语言的直观意义,自动机的直观意义,形式语言的定义,形式语言的特征,语法的分类,自动机的定义,自动 ...
    最新文章
    热门文章

形式语言与自动机 Part.5 上下文无关语言与下推自动机(PDA)

文章目录

形式语言与自动机 Part.5 上下文无关语言与下推自动机(PDA)相关推荐

最新文章

热门文章