《编译原理》中的离散数学基础理论还原研究.pdf

００７—１４２３（２０１３）２６—００４３—０４９ＯＩ［：１０．３９６９／ｊ．ｉｓｓｎ．１００７—１４２３。２０１３．２６．０１１

《编译原理》中的离散数学基础理论还原研究★

胡慧君．刘茂福

武汉科技大学计算机科学与技术学院，武汉（４３００６５）

摘要：从离散数学角度出发考察《编译原理》课程内容，致力于还原《编译原理》课程内容中的离散

数学基础理论。涉及到的《编译原理》课程内容包括形式语言、有穷自动机、语法分析、形式

化以及语言运算等．还原的离散数学基础包括等价、演绎与归纳、图论以及代数系统。针对

计算机相关专业大学生，通过《编译原理》课程内容中离散数学基础理论的还原，培养离散

数学意识，提高离散数学修养，加强学习《编译原理》和《离散数学》课程的兴趣。

关键词：离散数学；编译原理；等价原理；形式语言；演绎与归纳；有穷自动机；代数系统

０引言译程序应该具有的各功能模块展开。包括词法分析、语

法分析、语法制导翻译、中间代码生成、存储管理、代码

离散数学是现代数学的一个重要分支．也是计算

优化和目标代码生成等。《编译原理》在理论、技术、方

机科学与技术的理论基础．所以又称为计算机数”。

法上都对学生提供了系统而有效的训练．有利于提高

离散数学研究离散量的结构及其相互关系。通过离散

软件人员的素质和能力。《编译原理》的先行课包括《高

数学的学习．不但可以掌握处理离散结构的描述工具

级程序设计语言》、《计算机组成原理》、《数据结构》等，

和方法．为后续课程的学习创造条件．而且可以提高抽

当然还有为编译原理提供数学基础的《离散数学》。

象思维和严格的逻辑推理能力．为将来参与创新性的

作为计算机科学与技术数学理论基础的《离散数

研究和开发工作打下坚实的基础离散数学在各学科

学》．不仅描述了计算机科学离散性的特点，而且着力

领域．特别在计算机科学与技术领域有着广泛的应用，

于培养与提高学生的抽象思维能力与严格的逻辑推理

离散数学是很多计算机相关专业课的先行课程．例如

能力；《编译原理》在将程序语言编译原理和技术应用

《数据结构》、《算法分析与设计》、《计算机网络》、《操作

于实践．注重提高学生的动手能力的同时．更应该重视

系统》、《数据库》、《软件工程》［２】，当然也包括《编译原

学生理论基础的巩固和形式思维能力的培养．这一点

理》（或称《编译方法》）课程。

正需要离散数学来补充。因此，需要将《编译原理》中的

编译程序是计算机的重要系统软件．是高级程序

离散数学基础知识还原．以加深对离散数序与编译原

设计语言的支撑基础翻，《编译原理》主要承担了语言实