📌目录⚖️ 与编译程序有关的概念和技术🎯 一、形式语言基础（一）基本概念（二）乔姆斯基文法体系📦 二、正规语言与有限自动机（一）正规表达式（二）有限自动机🌐 三、上下文无关文法与语法分析（一）上下文无关文法（CFG）（二）语法分析方法📊 四、属性文法与语法制导翻译（一）属性文法（二）语法制导翻译（三）符号表🔍 五、运行时环境与存储管理（一）内存布局（二）栈帧与函数调用（三）存储分配策略（四）垃圾回收📝 六、代码优化技术（一）优化分类（二）基本块与控制流图（三）常见优化技术（四）数据流分析📝 七、链接与加载（一）链接过程（二）加载过程📝 总结⚖️ 与编译程序有关的概念和技术编译程序建立在一系列深刻的计算机科学理论基础之上——形式语言理论、自动机理论、属性文法、运行时环境等。这些概念和技术共同构成了编译程序的理论基石。本文将系统梳理与编译程序相关的核心概念和技术，帮助您深入理解编译器背后的理论基础。🎯 一、形式语言基础（一）基本概念形式语言（Formal Language）是编译理论的数学基础，用严格的数学方法定义和研究语言的结构。概念定义编程语言对应示例字母表 Σ有限符号的集合词法符号集{a-z, A-Z, 0-9, +, -, …}