MiniC编译器得设计与实现.ppt

Mini C编译器的设计与实现 电子科技大学 《编译原理》课程组 涉及主要知识点 有限状态自动机、下推自动机模型 词法分析原理和技术 语法分析原理和技术 语义分析原理和技术 目标代码生成原理和技术 项目主要实验内容 利用有限自动机生成词法分析程序 利用下推自动机生成语法分析程序 语法制导翻译方法进行语义分析 生成目标机系统的汇编代码 项目进度安排 Mini C语言的设计 实现词法分析程序 语法分析程序 语义分析程序 目标代码生成程序 项目集成 Mini C语言的设计 MINI C语言是本实验设计并实现的简化的C语言。 MINI C语言的程序结构简单， 语法与C相同，规模小于C语言。 MINI C语言的源程序是一个由分号分隔开的语句序列。 Mini C语言的设计 MINI C 语言只有两个控制语句：if语句和while 语句 ， if语句有一个可选的else部分。 除此之外，还有I/O语句(输入语句一次只读入一个变量，输出语句一次只输出一个表达式的值)。 Mini C语言的设计 MINI C语言的表达式也局限于布尔表达式和算术表达式。 布尔表达式由对两个算术表达式的比较组成 所有比较使用 和 == 运算符。 Mini C语言的设计 算术表达式可以包括常数、变量、以及4个算术运算符+、-、*、/。 使用（ ）改变运算的默认顺序； 布尔表达式通常只作为测试条件出现在控制语句中。 Mini C语言的设计 作为一次完整的编译开发实践， MINI C 语言已经足够体现出一个编译器的开发过程了。 MINI C语言的词法规则 MINI C语言的记号分为3种典型的类型：关键字、特殊符号和“其它”记号。 关键字一共有8个，它们的含义与C语言中的相应关键字相同。 if、else、while、goto、do、void、continue、break MINI C语言的词法规则 特殊符号共有12种： 4种基本的算术运算符号 +、-、*、/ 2种比较符号 、 == 和 {、}、（、）、；、= MINI C语言的词法规则 “其他”记号就是常数和标识符 常数是一个或多个数字的序列 标识符是一个或多个字母的序列。 MINI C语言的词法规则 MINI C语言的源程序还要遵循以下的词法规则： 代码应是自由书写格式； 空白符有空格、制表位和空行 MINI C语言的词法规则 所有的记号都可以用DFA的识别 MINI C语言的语法规则的BNF描述 program → stmt-sequence stmt-sequence→stmt-sequence ; statement | statement statement → if-stmt | while-stmt | assign-stmt |input-stmt |output-stmt assign-stmt → identifier = exp； MINI C语言的语法规则的BNF描述 if-stmt → if exp stmt-sequence  | if exp stmt-sequence else stmt- sequence while-stmt → while exp stmt-sequence input-stmt → read identifier output-stmt → write exp exp →simple-exp comparison-op simple- exp | simple-exp comparison-op → | == MINI C语言的语法规则的BNF描述 simple-exp → simple-exp addop term | term addop → + | - term → term mulop factor | factor mulop → * | / factor → (exp) | number | identifier MINI C语言的语义规则 MINI C语言包括的语法单位的语义规则与C语言中对应的语义规则相同。 实验内容一：词法分析程序 实验目标： 设计和实现一个词法分析程序 熟悉词法分析的原理与技术 实验内容一：词法分析程序 实验重点： 掌握各种单词符号的形成规则 和 单词符号的输出格式（二元式）。 实验难点： 状态