上下文无关文法与下推自动机

CFG 的推导与语法树、歧义性、Chomsky 范式、下推自动机与 CFG 的等价、CFL 的泵引理。本章说明为什么大多数编程语言的语法是上下文无关的（而语义不是）。

本章要点

• 歧义文法是语言设计的常见问题（悬空 else）
• CYK 算法 O(n³) 判定成员资格
• LR 解析器处理确定性 CFL

相关阅读

• 语法与语义

写作状态

本章目前为提纲，正文待撰写。