[HIT-FLAA]哈工大2020春形式语言与自动机复习笔记 (3)

本系列文章html 有穷自动机 正则表达式 上下文无关文法和下推自动机 图灵机 文章目录：上下文无关文法和下推自动机 1. 上下文无关文法(CFG) 1. 形式化定义 2. 语法分析树 3. 二义性 4. CFG的化简 5. 乔姆斯基范式(CNF) 2. 下推自动机(PDA) 1. 形式化定义 2. 肯定的PDA 3. PDA的瞬时描述 4. PDA接受的语言 3. CFG和PDA的等价性 1.

>>阅读原文<<