📌目录⚖️ 文法和语言：形式语言理论的基石🎯 一、基本概念（一）字母表与字符串（二）语言📦 二、文法的形式化定义（一）文法的定义（二）产生式（三）文法示例🌐 三、推导与归约（一）推导（二）归约（三）句型与句子📊 四、语法树与二义性（一）语法树（二）二义性（三）消除二义性🔍 五、乔姆斯基文法体系（一）文法分类（二）各类型文法详解（三）文法体系对比📝 六、文法的化简与变换（一）无用符号消除（二）空产生式消除（三）单产生式消除（四）乔姆斯基范式（CNF）（五）格雷巴赫范式（GNF）📝 总结⚖️ 文法和语言：形式语言理论的基石文法和语言是编译原理的形式化基础。从乔姆斯基文法体系的建立，到上下文无关文法在编程语言中的广泛应用，文法理论为编译程序的设计提供了坚实的数学基础。什么是文法？如何精确定义一门语言？不同等级的文法有何区别？推导、归约、语法树之间是什么关系？本文将系统介绍文法和语言的核心概念，帮助您深入理解形式语言理论的精髓。🎯 一、基本概念（一）字母表与字符串字母表（Alphabet）是符号的非空有穷集合，通常用Σ表示。字母表示例: Σ₁ = {a, b} 二元字母表 Σ₂ = {0, 1} 二进制字母表 Σ₃ = {a, b, c, ..., z} 小写字母表 Σ₄ = {a, b, ..., z, A, B, ..., Z, 0, 1, ..., 9} 字母数字表 编程语言的字母表: Σ = {a-z, A-Z,