摘要
从离散数学角度出发考察《编译原理》课程内容,致力于还原《编译原理》课程内容中的离散数学基础理论。涉及到的《编译原理》课程内容包括形式语言、有穷自动机、语法分析、形式化以及语言运算等,还原的离散数学基础包括等价、演绎与归纳、图论以及代数系统。针对计算机相关专业大学生,通过《编译原理》课程内容中离散数学基础理论的还原,培养离散数学意识,提高离散数学修养,加强学习《编译原理》和《离散数学》课程的兴趣。
Be dedicated to originating the discrete mathematical principles in the contents of Principles of Compiler course from the mathematical perspective. The contents of Principles of Compiler, including formal grammar, finite automaton, grammar analysis, formalization and lingual calculation, have been mapped to the principles of Discrete Mathematics, including equivalence, inference theory based on deduction and induction, graph theory and algebra system. The purposes are to develop the discrete mathematics consciousness and enhance the learning interests in the courses of principles of compiler and discrete mathematics.
基金
武汉科技大学教学研究项目(No.2012X46)
