实验1
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
实验一词法分析
一、实验目的
通过设计编制调试一个具体的词法分析程序,加深对词法分析原理的理解。并掌握在对程序设计语言源程序进行扫描过程中将其分解为各类单词的词法分析方法。
二、词法分析器的功能
完成对源程序字符串的词法分析,输出形式是源程序的五类单词符号的二元式代码,并保存在文件中。
三、设计内容
选择以下三个任务之一,编写其词法分析程序。
1.初级任务
已知某语言标识符由小写字母、数字和下划线3种符号组成,起始字符为字母,结束符为字母或数字,且下划线字符两两不相连,对该标识符集,试写出描述它的正规式及DFA,编写识别它的程序。
分析:L=(a|b|c|......) D=(0|1|2 (9)
则描述带下划线的标识符集正规式为:L(L|D)*(_(L|D)+)*
DFA如下图(参考):
注:可用状态转换矩阵代替状态图,方便计算机处理。
标识符的识别程序设计如下:
Identifier()
{ char ch;
L0:getch(ch); //读单词的第一个字符
if(ch>=‟a‟&& ch<=‟z‟)
{L1:getch(ch);
If(ch>=‟a‟&& ch<=‟z‟|| ch>=‟0‟&& ch<=‟9‟)
Goto L1;
Elseif(ch==‟_‟)
Goto L2;
Else
Goto L3;
L2:getch(ch);
If(ch>=‟a‟&& ch<=‟z‟|| ch>=‟0‟&& ch<=‟9‟)
Goto L1;
Else return error;
}
Else return error;
L3:return Ok;
}
以上程序仅供参考,读者可自行设计。
2.中级任务
∑={d,. ,e,+,-},则∑上的正规式d*( . dd *∣ε )(e(+∣- ε∣)dd*ε∣) 表示的是无符号数的集合。其中d为0~9的数字。(详见课本P.53)
借鉴正规式到FA的转换规则(三条),试构造其自动机,然后确定化,需要时化简之,最后编写无符号数的识别程序。
实验预习提示
DFA的行为很容易用程序来模拟。
DFA M=(K,Σ,f,S,Z)的行为的模拟程序流程如下:
K:=S;
c:=getchar;
while c<>eof do
{K:=f(K,c);
c:=getchar;
};
if K is in Z then return (…yes‟)
else return (…no‟)
根据该流程提示以及得出的无符号数的状态转换矩阵,编写程序代码。
3. 高级任务
编制一个读单词过程,从输入的源程序中,识别出各个具有独立意义的单词,即基本保留字、标识符、常数、运算符、分隔符五大类。并依次输出各个单词的内部编码及单词符号自身值。(遇到错误时可显示“Error”,然后跳过错误部分继续显示)
实验预习提示
1)词法分析器的功能和输出格式
词法分析器的功能是输入源程序,输出单词符号。词法分析器的单词符号常常表示成以下的二元式(单词种别码,单词符号的属性值)。本实验中,采用的是一类符号一种别码的方式。
2)单词的BNF表示
<标识符>→<字母><字母数字串>
<字母数字串>→<字母><字母数字串>|<数字><字母数字串>|
<下划线><字母数字串>|ε
<无符号整数>→<数字><数字串>|ε
<数字串>→-<数字><数字串> |ε
<加法运算符>→+
<减法运算符>→-
<大于关系运算符>→>
<大于等于关系运算符>→>=
3)“超前搜索”方法
词法分析时,常常会用到超前搜索方法。如当前待分析字符串为“a> -5”,当前字符为‟>‟,此时,分析器倒底是将其分析为大于关系运算符还是大于等于关系运算符呢?显然,只有知道下一个字符是什么才能下结论。于是分析器读入下一个字符‟-‟,这时可知应将‟‟解释为大于运算符。但此时,超前读了一个字符‟-‟,所以要回退一个字符,词法分析器才能正常运行。在分析标识符,无符号整数等时也有类似情况。
4)模块结构
实验过程和指导:
1)准备
阅读课本有关章节,明确语言的语法,写出基本保留字、标识符、常数、运算符、分隔符和程序例。
初步编制好程序。
准备好多组测试数据。
将源代码拷贝到机上调试,发现错误,再修改完善。
2)程序要求
程序输入/输出示例:
如源程序为C语言。输入如下一段:
main()
{
int a,b;
a = 10;
b = a + 20;
}
要求输出如右图。
(2,”main”)(5,”(“)(5,”)“)(5,”{“)(1,”int”)(2,”a”)(5,”,”)(2,”b”)(5,”;”)(2,”a”)(4,”=”)(3,”10”)(5,”;”)(2,”b”)(4,”=”)(2,”a”)(4,”+”)(3,”20”)(5,”;”)(5,”}“)
要求:
识别保留字:if、int、for、while、do、return、break、continue;
单词种别码为1。
其他的都识别为标识符;单词种别码为2。
常数为无符号整形数;单词种别码为3。
运算符包括:+、-、*、/、=、、<、=、<=、!= ;
单词种别码为4。
分隔符包括:,、;、{、}、(、);单词种别码为5。
•程序思路(仅供参考):
这里以开始定义的C语言子集的源程序作为词法分析程序的输入数据。在词法分析中,自文件头开始扫描源程序字符,一旦发现符合“单词”定义的源程序字符串时,将它翻译成固定长度的单词内部表示,并查填适当的信息表。经过词法分析后,源程序字符串(源程序的外部表示)被翻译成具有等长信息的单词串(源程序的内部表示),并产生两个表格:常数表和标识符表,它们分别包含了源程序中的所有常数和所有标识符。
∙定义部分:定义常量、变量、数据结构。