编译原理实验报告：词法分析

1. 实验题目：词法分析

实验目的

1. 根据PL/0语言的文法规范，编写PL/0语言的词法分析程序；或者调研词法分析程序的自动生成工具LEX或FLEX，设计并实现一个能够输出单词序列的词法分析器。
2. 通过设计调试词法分析程序，实现从源程序中分出各种单词的方法；加深对课堂教学的理解；提高词法分析方法的实践能力。
3. 掌握从源程序文件中读取有效字符的方法和产生源程序的内部表示文件的法。
4. 掌握词法分析的实现方法。上机调试编出的词法分析程序。

实验内容

 已给PL/0语言文法，输出单词符号（关键字、专用符号以及其它标记）。

实验要求

1. 把词法分析器设计成一个独立一遍的过程。
2. 词法分析器的输出形式采用二元式序列，即：(单词种类,单词的值)

输入输出

输入：
  const a=10;
  var b,c;
  begin
  read(b);
  c:=a+b;
  write( c);
  end.
输出：
  (constsym, const)
  (ident , a)
  (eql, =)
  (number, 10)
  (semicolon, ; )
  (varsym, var)
  (ident,b)
  (comma, ,)
  (ident, c)
  (semicolon, ; )
  (beginsym, begin)
  (readsym, read )
  (lparen,( )
  (ident, b)
  (rparen, ))
  (semicolon, ; )
  (ident, c)
  (becomes, := )
  (ident, a)
  (plus, +)
  (ident,b )
  (semicolon, ; )
  (writesym,write)
  (lparen, ( )
  (ident, c)
  (rparen,) )
  (endsym, end )
  (period, .)

2. 设计思想

基本字：

单词（编码）	正规式r
begin(beginsym)	begin
call(callsym)	call
const(constsym)	const
do(dosys)	do
end(endsym)	end
if(ifsym)	if
odd(oddsym)	odd
procedure(proceduresym)	procedure
read(readsym)	read
var(varsym)	var
while(whilesym)	while
write(writesym)	write
then(thensym)	then

标识符：

单词（编码）	正规式r
<标识符>(ident)	（字母)(字母 |数字)*

常数：

单词（编码）	正规式r
<常数>(ident)	（数字)(数字)*

运算符：

单词（编码）	正规式r
+(plus)	+
-(minus)	-
*(times)	*
/(slash)	/
=(eql)	=
<>(neq)	<>
<(lss)	<
<=(leq)	<=
>(gtr)	>
>=(geq)	>=
:=(becomes)	:=

界符：

单词（编码）	正规式r
( (lparen)	(
) (rparen)	)
, (comma)	,
; (semicolon)	;
. (period)	.

3.算法流程

1. 词法分析程序打开源文件，读取文件内容，直至遇上文件结束符，然后读取结束。
2. 接下来就要对源文件从头到尾进行扫描了，从头开始扫描，这个时候扫描程序首先要询问当前的字符是不是空格，若是空格，则继续扫描下一个字符，直至不是空格。然后询问这个字符是不是字母，若是则进行标识符和保留字的识别；若这个字符为数字，则进行数字的判断。否则，依次对这个字符可能的情况进行判断（界符和运算符），若将所有可能都走了一遍还是没有知道它是谁，则认定为错误符号，输出该无法识别error，程序结束。每次成功识别了一个单词后，单词都会存在word1[]数组中，然后字符指针往后移，进行下一个单词的识别。
3. 主控程序需要负责对每次识别的种别码进行判断，对于不同的单词种别做出不同的反应，直至文件结束。
4. 本次实验我采用了map这个STL关联容器，主要是考虑到词法分析中的数据映射的关系，因此采用这种结构。map提供一对一的数据处理能力，其中第一个可以称为关键字，每个关键字只能在map中出现一次，第二个可能称为该关键字的值。这个容器是非常方便使用的，对于查找可以直接使用迭代器进行，利用find（）函数，若一直到末尾都未找到，则是不能识别或为标识符。

4. 源程序

#include
#include
#include
#include
#include
#include
#include

5. 调试数据

待输入的文件流：

输出数据：