6.1 属性文法 6.2 基于属性文法的的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-属性文法和自顶向下翻译 6.5 自下而上计算继承属性

FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计

朝语系 《英语听力》 《韩国语应用文写作》 《韩语语法》 《韩国文学作品选读》 《韩语词汇学》 《韩译汉》 《韩语口译》 《韩国概况》 《韩国文化》 《高级韩语视听》 《汉译韩》 《高级韩语》 《韩语报刊阅读》 《韩语会话》 《韩语听力(1)》 《韩国听力(2)》 《韩语泛读》 《韩国文学史》 《基础韩语》 《英语口语》 日语系 《日本概况》 《日文报刊选读》 《日语词汇学》 《日语会话》 《基础日语》 《中日文化交流史》 《日语听力》 《专业导论》 《古典日语语法》 《汉日翻译理论与实践》 《日本商务礼仪》 《日汉翻译理论与实践》 《商务日语写作》 《商务日语选读》 《同声传译实践》 《日本海洋科学导论》 《高级日语》 《日语基础写作》 《日语阅读》 《海洋科学文献选读》 《跨文化交际学概论》 《日本文学概论》 《日本文学作品选读与翻译》 《日语口译》 《日语演讲与辩论》 《日语语言学概论》 《学术论文写作与研究方法》 英语系 《英语语言学导论》 《英语文体学》 《国际会展英语》 《国际商务英语》 《高级笔译》 《海洋英语翻译》 《英语阅读》 《英国文学》 《美国文学》 《英汉语对比研究》 《语用学》 《跨文化交际学》 《同声传译》 《英语词汇学》 《英语翻译理论与实践》 《英语语法》 《外国报刊选读》 《英语应用文写作》 《笔译》 《英国社会与文化》 《英语国家社会与文化》 《海洋文学》 《海洋英语阅读》 《西方文明史》 《会务口译》 《商务英语翻译》 《英语基础口语(1)》 《英语基础口语(2)》 《综合英语》 《基础英语写作》 《英语高级视听(1)》 《英语基础视听（1-2）》 《英语高级视听(2)》 《澳新加社会与文化》 《比较文学》 《翻译研究方法》 《海上丝绸之路专题讲座》 《基础汉英笔译》 《基础汉英口译》 《基础英汉笔译》 《基础英汉口译》 《交替传译》 《美国社会文化》 《涉海国际谈判》 《希腊罗马神话》 《学术英语写作与研究方法》 《英语辩论》 《英语创意写作》 《英语电影文学》 《英语海洋成长小说》 《英语史》 《英语文学导论》 《英语演讲》 《中国文化与文学外译》 《外贸英语函电》 《中国文化概要》

2.1 PL/0语言和类pcode的描述 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的语法语义分析 2.4 PL/0编译程序的错误处理 2.5 类pcode代码解释器

1、MiniPascal语言概述 2、四元式和符号表的说明 3、词法和语法分析技术回顾 4、Lex词法分析工具 5、Yacc词法分析工具 6、设计方法与思想

引言 -语言和文法的直观概念 -符号和符号串的相关概念 文法与语言 -文法和语言的形式定义 -文法的分类 -上下文无关文法 语法树与二义性 句型的分析 文法的改造

• 2.1 变量及其赋值 • 2.2 矩阵的初等运算 • 2.3 元素群运算 • 2.4 逻辑判断与流程控制 • 2.5 基本绘图方法 • 2.6 M文件及程序调试

文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义