编译技术是计算机科学与技术专业研究生重要软件理论课程,培养学生解决问题的思路和抽象思维的方法。通过本课程的学习使学生对高级语言程序的编译过程及其原理有较全面的了解,从理论和实践上掌握高级语言程序翻译的基本原理,具有系统软件翻译开发的能力,为进行其它软件设计打下良好的基础。
开设学校:西安邮电大学;学科:计算机、
编译技术是计算机科学与技术专业研究生重要软件理论课程,培养学生解决问题的思路和抽象思维的方法。通过本课程的学习使学生对高级语言程序的编译过程及其原理有较全面的了解,从理论和实践上掌握高级语言程序翻译的基本原理,具有系统软件翻译开发的能力,为进行其它软件设计打下良好的基础。
-第1讲-编译程序概述
--Video
--PPT
--编译技术的应用
-第2讲-编译程序的过程
--Video
--PPT
-编译系统概论--自测练习与单元测试
-第1讲-文法的基本知识
--Video
--PPT
--集合的闭包运算
-第2讲-文法和语言的形式定义
--Video
--PPT
--规范推导
-上下文无关文法和形式语言--自测练习与单元测试
-第1讲-词法分析及状态转换图
--video
--PPT
-第2讲-确定的有限自动机
--Video
--PPT
-第3讲-非确定的有限自动机
--Video
--PPT
-第4讲-非确定的有限自动机的确定化-1
--Video
--PPT
-第5讲-非确定的有限自动机的确定化-2
--Video
--PPT
-第6讲-非确定有限自动机的最小化
--Video
--PPT
--无关状态的删除
--等价状态的删除
--终态与非终态
-第7讲-正规式与有限自动机的转化
--Video
--PPT
-有穷自动机与正则表达式理论基础--自测练习与单元测试
-第1讲-消除左递归
--Video
--消除左递归
-第2讲-FIRST集和FOLLOW集的构造
--Video
--FIRST集
-第3讲-LL(1)预测分析方法
--Video
--LL(1)分析法
-第4讲-自下而上语法分析
--Video
--移进归约法
-第5讲-算符优先文法
--Video
--优先关系
-第6讲-算符优先语法分析
--Video
--最左素短语的特点
-第7讲-LR语法分析方法的基本思路
--Video
-第8讲-构造识别活前缀的NFA
--Video
-第9讲-构造识别活前缀的DFA
--Video
-第10讲-LR(0)语法分析
--Video
-第11-SLR(1)语法分析
--Video
-第12讲-LR(1)语法分析
--Video
-语法分析--自测练习与单元测试
-第1讲-属性文法
--Video
-第2讲-中间代码及其表示方法
--Video
-第3讲-数组元素的翻译1
--Video
-第4讲-数组元素的翻译2
--Video
-第5讲-条件语句的翻译
--Video
-第6讲-循环语句的翻译
--Video
-语法制导翻译和中间代码--自测练习与单元测试
-第1讲-符号表的组织及其作用
--Video
-第2讲-符号表的整理与查找
--Video
-第3讲-名字的作用范围
--Video
-符号表--自测练习与单元测试
-第1讲-运行时存储空间的划分
--Video
-第2讲-简单的栈式存储分配
--Video
-第3讲-嵌套过程语言的栈式实现-静态链实现非局部变量的访问
--Video
-第4讲-嵌套过程语言的栈式实现-display表实现非局部变量的访问
--Video
-运行时存储空间组织--自测练习与单元测试
-第1讲-局部优化
--Video
-第2讲-循环优化-代码外提
--Video
-第3讲-循环优化-强度削弱与删除归纳变量
--Video
-第4讲-数据流分析-任意路径数据流分析
--Video
-第5讲-数据流分析-全路径数据流分析
--Video
-优化--自测练习与单元测试
-第1讲-目标代码生成
--video
-第1讲-并行编译基础
--Video
-第1讲-llvm简介
--video
-第2讲-方舟编译器简介
--video
-实验-词法分析器
--html
-实验-语法分析器
--html
-习题-上下文无关文法
--Video
-习题-有穷自动机与正则表达式
--Video
-习题-自上而下的语法分析
--Video
-习题-自下而上的语法分析
--Video
-习题-语法制导的翻译
--Video
-习题-符号表
--Video
-习题-运行时存储空间组织
--Video
-习题-优化
--Video
教授,陕西省教学名师,陕西高校“巾帼建功标兵”, 陕西省优秀教师,讲授编译技术已达26年,具有丰富的教学经验,是省级软件工程专业综合改革负责人、省级精品资源共享课程负责人,主持国家级及省部级课题10项,主编教材9部,专著1部,发表科研及教研论文30余篇。
1982年7月毕业于北京大学计算机科学与技术系。1982年8月至今在高校从事教学、科研及管理工作。曾主讲过《数据结构》、《数据结构与算法》、《编译原理》、《算法设计与分析》、《操作系统》、《软件工程》、《数据库原理与设计》、《高级语言程序设计》等课程。从教三十多年来,曾获部级“优秀青年教师”称号、获部级科技进步二等奖两项、获陕西省优秀教学成果奖三项、获学校教学、科研奖十余项;主持或参与陕西省教育厅、教育部教育教学改革及科研项目多项。先后担任西安邮电大学信息中心副主任、教务处副处长、教师发展中心副主任、高等教育研究所所长等职务。
王春梅,多年来教授《高级语言程序设计》、《数据结构》、《高级编译技术》等理论课程。她主要研究方向是软件测试和智能信息处理。2018年获陕西省课堂教学创新大赛获得一等奖、陕西省高校青年教师讲课大赛二等奖,并被教育部授予“智慧教学之星”。
1998年7月西北大学计算机系毕业后在西安电信十所从事软件开发工作。2005年西北大学计算机科学系计算机应用专业硕士研究生毕业。2005年至今在西安邮电大学软件工程系从事教学与科研工作。讲授的主要课程:编译原理、数据结构与算法、软件工程导论等。
1999毕业于西安交通大学电信学院计算机系,获得学生学位,2005年毕业于西安交通大学电信学院计算机系,获得硕士学位。2005年进入西安邮电大学计算机学院后,一直从事计算机软件教学工作,先后讲授过《高级语言程序设计》、《数据结构》、《Linux编程技术》、《编译原理》。2017年,获得全国高校计算机教育大会优秀论文奖,2013年,获得西安邮电大学第十一届青年教师讲课比赛三等奖,2009-2010、2008-2009学年获西安邮电学院优秀教师。2014年,参与陕西省级精品资源共享课程“操作系统”建设项目及陕西本科高校省级软件工程“专业综合改革试点”项目,2011年,参与陕西省精品课程“高级语言程序设计”。
曾艳,硕士,多年从事《数据结构》、《C语言程序设计》课程的教学和研究,主要从事数据挖掘,智能信息处理等方面研究。参与《数据结构与算法》省精品在线开放课程的“典型案例剖析”视频录制等建设工作。积极开展线上、线下混合模式教学改革,主持参与省级、校级教改项目多项,曾获校级青年教师讲课比赛二等奖。