编译实验指导书(04年3月).docVIP

编译原理实验指导  前 言 编译原理是计算机专业的主干课和必修课，由于这门课程相对抽象且内容较复杂，一直是比较难学的一门课程。在编译原理的学习过程中，实验非常重要，只有通过上机实验，才能使学生对比较抽象的课程内容产生一个具体的感性认识。 本书实验环境主要为C环境，在C环境下手动生成词法分析器及语法分析器，通过这些实验，能使学生对这些部份的工作机理有一个详细的了解。 由于这门课实验难度较大，所以希望在实验前学生要做好预习工作。在上机前写好实验预习报告。  目 录 实验一　手工生成PL/0语言词法分析器 -----------------1 实验二　用算符优先法进行表达式分析------------------16  实验一　手工生成PL/0语言词法分析器 实验目的 掌握手工生成词法分析器的方法，了解词法分析器的内部工作原理。 掌握C环境下工程文件的用法 实验要求 手工编制PL/0语言词法分析函数int Getsym(void);每调用此函数一次，从当前待编译文件中识别出单词，并给出其类型和值。 生成一工程文件，调用1中生成的函数Getsym()，对一指定的文件进行词法分析，要求分析出单词的类型和值，对于词法错误之处，要给出错误所在位置。并将分析结果存入一文件Mydata.dat中。 实验前请仔细阅读实验预习提示，提示中程序仅供参考。 本实验建议上机时间4学时。 实验预习提示 词法分析器的功能和输出格式 词法分析器的功能是输入源程序，输出单词符号。词法分析器的单词符号常常表示成以下的二元式(单词种别码，单词符号的属性值)。本实验中，采用的是一符一种别码的方式。 单词种类有五种： 基本字：也可称为保留字，如BEGIN，END，IF，THEN等； 运算符：如+，-，*，/，:=，#，=，=等； 标识符：用户定义的变量名、常数名、过程名； 常数：如10，25，100等整数； 界符：如“，”，“.”，“；”，“（”，“）”等。 单词的EBNF（扩展巴科斯范式）表示 下面是对PL/0进行词法分析所用到的部份EBNF。 标识符→ 字母{字母|数字|下划线} 无符号整数→ 数字{数字} 加法运算符→ + 减法运算符→ - . . . 大于关系运算符→ 大于等于关系运算符→ = . . . 3、“超前搜索”方法 　　 词法分析时，常常会用到超前搜索方法。如当前待分析字符串为“a+”,当前字符为’’，此时，分析器倒底是将其分析为大于关系运算符还是大于等于关系运算符呢？显然，只有知道下一个字符是什么才能下结论。于是分析器读入下一个字符’+’，这时可知应将’’解释为大于运算符。但此时，超前读了一个字符’+’，所以要回退一个字符，词法分析器才能正常运行。在分析标识符，无符号整数等时也有类似情况。 4、词法分析过程 PL/0的词法分析程序Getsym（图1）是一个独立的过程，它把输入的字符串形式的源程序分割成一个个单词符号。为此PL/0 编译程序设置了三个全程量的公用单元如下： Sym：存放每个单词的类别，用内部编码形式表示； Id：存放用户所定义的标识符的值，即标识符字符串的机内表示； Num：存放用户定义的数。 如果我们把基本字、运算符、界符称为语言固有的单词，而对标识符、常数称为用户定义的单词，那么经词法分析程序分出的单词，对固有的单词只给出类别存放在sym中，而对用户定义的单词（标识符或常数）既给出类别又给值，其类别存放在sym中，值放在id或num中，全部单词种类由编译程序定义的纯量类型sumbol给出，也可称为语法的词汇表。如下面提到的ifsym，thensym，ident，number均属symbol中的元素。 因此词法分析程序Getsym将完成下列任务： 滤空格：空格在词法分析时是一种不可缺少的界符，而在语法分析时则是无用的，必须滤掉； 识别保留字：设有一张保留字表。对每个字母打头的字母、数字串要查此表。若查到则为保留字，将对应的类别放在sym中，如IF对应值IFSYM，THEN对应为THENSYM。若查不到，则认为是用户定义的标识符； 识别标识符：对用户定义的标识符将IDENT放在SYM中，标识符本身的值放在ID中； 拼数：当所取单词是数字时，将数的类别NUMBER放在SYM中，数值本身的值存放在NUM中； 拼复合词：对两个字符组成的算符，如=，:=，=等单词，识别后将类别送SYM中； 输出源程序：边读入字符边输出（可输出在文件中）。 由于一个单词往往是由一个或几个字符组成的，所以在词法分析过程Getsym中又定义了一个取字符过程GETCH（见图2），由词法分析需要取字符时调用。 图1 词法分析过程GETSYM GETCH所用单元说明： CH