编译原理 概论.ppt

计算机能处理人类自然语言吗？ 问题： 1. 能否理解人类语言？ 2. 怎样实现？ 示例 参见龙书 词法分析 语法分析（+语义分析） 中间代码生成 代码优化与目标程序生成 诊断型 专门设计来帮助开发与调试程序。 优化型 有较强的代码优化功能，能生成高功效的目标程序。优化面临速度和内存空间的相互制约。C编译器是典型的优化型。 可重定位型 开发时，保留与计算机无关部分，仅重写与目标计算机相关的部分 交叉型 在一种型号上运行的编译程序，生成的却是另一种特定型号计算机上运行的目标程序。 应用并行技术型 多处理器计算机支持，相关技术正在探索。 程序与程序设计语言相联系，依据语言写程序 * BNF:巴科斯范式，又称为巴科斯-诺尔范式，是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。它是由约翰·巴科斯和彼得·诺尔首先引入的用来描述计算机语言语法的符号集。尽管巴科斯范式也能表示一部分自然语言的语法，它还是更广泛地使用于程序设计语言、指令集、通信协议的语法表示中 程序： 计算任务的处理对象与处理规则的描述 1. 2. 3 高级程序设计语言程序的执行 例: int main( ) { int x, y, t; t=x; x=y; y=t; return 0; } 1. 2. 3 高级程序设计语