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

五. 一类控制语句的翻译 1. 文法及其分析

语言特点：允许递归，允许动态数组，允许过程嵌套定义

可见,非终结符P产生一系列i:T形式的说明语句

1. 两个或两个以上程序单元之间交错地执行,这样的程序称为协同程序

一. 文法 文法是描述语言的语法结构的形式规则,必须准确,易于理解,且描述能力强

(1)代码外提 (2)强度削弱

程序投入运行的必要条件： 一组可运行的代码 一个运行环境：分配空间、提供运行信息

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

1. 数组 ①约束数组类型⎯下标界是静态确定的