– 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示怎样把依赖类型用到实际语言中，这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同SML及其相近语言的模块系统的联系

补充习题: （1)简述程序设计语言的发展简史。 （2)解释算法、数据结构的含义。 （3)程序语言的使用代价有哪几种量度。 （4)程序语言一般有哪几种计算模型,各有和特点

1. C语言简介 2. 简单的C程序介绍 3. C程序的上机步骤

本章主要内容 3,1编程语言语法 3.2翻译步骤 3.3BNF文法

文法是语言的生成系统，而自动机是语言的识别系统。自动机分为:图灵机、线性有界自动机、下推自动机、有限自动机

大纲要求： 汇编、编译、解释系统的基础知识和基本工作原理。 程序设计语言的基本成分一数据、运算、控制和传输以及过程（函数）调用。 各类程序设计语言的主要特点和适用情况

语言分类: 强制式(命令式或面向语句) 函数式 逻辑式 面向对象

第2章机器体系机构对语言的影响 2.1计算机的操作 2.2虚拟计算机和绑定时间

一、填空(30) （1)语言的标准化有专有化标准和共识性标准两个种类。 （2)基于解释型语言的源程序,不产生目标机器代码,只是产生更易于执行的中间代码,然后由软件解释执行

第3语言翻译问题 [学习目标]:学习和掌握语言的语法的基本概念和基本要素,理解翻译的步骤;学习和掌握BNF文法。 1.了解通用语法的标准,学习语法的基本要素; 2.了解几种语言的特点; 3.学习和掌握源程序分析和目标程序综合的原理和方法; 4.掌握和使用BNF文法;