编译原理教程 01绪论.pptVIP

形式语言学（代数语言学） 运用形式模型（抽象符号系统）对语言(包括人工语言和自然语言)进行理论上的分析和描写。 描述语言有三种途径:1穷举 2文法 3自动机。 文法是指的产生过程,而自动机是指的识别过程。 一种语言,如果存在对它的识别过程,就一定存在对它的产生过程,反之亦然。 现行的形式语法系统是Chomsky于1956年为了描述自然语言而提出的一种理论模型。 　　4．移植 　　移植是指A机器上的某种高级语言的编译程序稍加改动后能够在B机器上运行。一个程序若能较容易地从A机器上搬到B机器上运行，则称该程序是可移植的。移植具有一定的局限性。 　　用系统程序设计语言来书写编译程序虽然缩短了开发周期并提高了编译程序的质量，但实现的自动化程度不高。实现编译程序的最高境界是能够有一个自动生成编译程序的软件工具，只要把源程序的定义以及机器语言的描述输入到该软件中，就能自动生成这个语言的编译程序，如图1–6所示。 图1–6 编译程序自动生成示意 1.5 构造编译程序所应具备的知识内容 对被编译的源语言(如C、PASCAL等)，要深刻理解其结构(语法)和含义。 对目标机器的硬件和指令系统有深刻的了解。 熟练掌握编译方法。 　　(1) 对被编译的源语言(如C、PASCAL等)，要深刻理解其结构(语法)和含义。例如，下面的for循环语句： 　for(i=1;i=10+i;i++)