湖南大学编译原理实验一cminus_compiler-2021-fall

原创

已于 2022-03-25 17:13:15 修改 · 3.3k 阅读

CC 4.0 BY-SA版权

文章标签：

于 2022-03-25 17:10:23 首次发布

本文介绍了一种基于C语言子集cminus-f的词法分析器构建过程，包括使用FLEX工具生成词法分析器代码，以及如何设计正则表达式识别关键字、标识符等。同时提供了实验要求、难点、设计思路及结果验证。

前言

实验文档来源湖南大学编译原理课程，实验报告是笔者写的。

在本次实验中我们讲重点用到FLEX和以C-为基础改编的cminus-f语言。这里对其进行简单介绍。

C MINUS是C语言的一个子集，该语言的语法在《编译原理与实践》第九章附录中有详细的介绍。而cminus-f则是在C MINUS上追加了浮点操作。

1.关键字

 else if int return void while float

2.专用符号

 + - * / < <= > >= == != = ; , ( ) [ ] {
   
    } /* */

3.标识符ID和整数NUM，通过下列正则表达式定义:

letter = a|...|z|A|...|Z
digit = 0|...|9
ID = letter+
INTEGER = digit+
FLOAT = (digit+. | digit*.digit+)

4.注释用/*...*/表示，可以超过一行。注释不能嵌套。

 /*...*/

注：[, ], 和 [] 是三种不同的token。[]用于声明数组类型，[]中间不得有空格。
- a[]应被识别为两个token: a、[]
- a[1]应被识别为四个token: a, [, 1, ]

FLEX是一个生成词法分析器的工具。利用FLEX，我们只需提供词法的正则表达式，就可自动生成对应的C代码。整个流程如下图：

在这里插入图片描述

首先，FLEX从输入文件*.lex或者stdio读取词法扫描器的规范，从而生成C代码源文件lex.yy.c。然后，编译lex.yy.c并与-lfl库链接，以