编译原理(引论)开题报告.ppt

编译原理 陈晓明 先修课程 高级程序设计语言 计算机组成原理 操作系统 数据结构 课程内容 介绍编译器构造的一般原理和基本实现方法 介绍的理论知识：形式语言和自动机理论、语法制导的定义和属性文法、类型论、程序分析原理等 强调形式描述技术和自动生成技术 强调对编译原理和技术的宏观理解，不把注意力分散到枝节算法，不偏向于任何源语言或目标机器 课程特点 《编译原理》是理论性较强的课程 。 概念多、内容抽象。尤其是文法、形式语言及自动机的概念是计算机专业理论学习和研究的基础 。 教学目的——《编译原理》是一门非常好的课程 Alfred V.Aho：编写编译器的原理和技术具有十分普遍的意义，以至于在每个计算机科学家的研究生涯中，本课程中的原理和技术都会反复用到 本课程将兼顾语言的描述方法、设计与应用(形式化) 能形式化就能自动化（抽象→符号化→机械化） 可以使学生对程序设计语言具有更加深刻的理解 体验实现自动计算的乐趣 涉及的是一个比较适当的抽象层面上的数据变换（既抽象又实际，既有理论又有实践） 一个相当规模的系统的设计 总体结构 若干具体的表示和变换算法 教学目的(续) 在系统级上认识算法、系统的设计 具有把握系统的能力 局部最优vs.全局最优(木桶效用) “自顶向下”和“自底向上”的系统设计方法 对其思想、方法、实现的全方位讨论 进一步培养“计算思维能力” 深入理解软件系统的非物理