用递归下降分析法编写一个用于判断数学表达式是否正确的语法分析Word格式文档下载.docx
- 文档编号:8692646
- 上传时间:2023-05-12
- 格式:DOCX
- 页数:7
- 大小:19.64KB
用递归下降分析法编写一个用于判断数学表达式是否正确的语法分析Word格式文档下载.docx
《用递归下降分析法编写一个用于判断数学表达式是否正确的语法分析Word格式文档下载.docx》由会员分享,可在线阅读,更多相关《用递归下降分析法编写一个用于判断数学表达式是否正确的语法分析Word格式文档下载.docx(7页珍藏版)》请在冰点文库上搜索。
它就是主要依靠栈式的数据结构分别保存数和符号,然后根据运算符号的优先级别进行数学计算,并将结果保存在栈里面。
传统算法中使用了两个栈。
一个是保存数值,暂时就叫值栈。
另一个是保存符号的,叫符号栈。
我们规定一个记号#,来表示栈底。
下面我们就来看看如何计算一个简单的表达式:
11+2-8*(5-3)
符号栈和值栈的变化是根据输入串来进行的,基本上栈的操作可以简单用下面几句话来说。
Start:
1. 如果当前输入串中得到的是数字,则直接压入值栈,然后转到Start。
2. 如果当前输入串中得到的是符号,那么对符号进行判断:
1)如果符号是'+'或者'-',则依次弹出符号栈的符号,计算栈中数值,直到弹出的符号不是*,/,+,-;
2)如果符号是'*'或者'/',则压入符号栈;
3)如果符号是'(',则直接压'('入符号栈;
4)如果符号是')',则依照符号栈的顺序弹出符号,计算栈中数值,把结果压入值栈,直到符号栈顶是'(',最后
再弹出'(' 。
最后转到Start。
3. 如果当前输入串得到的是EOF(字符串结束符号),则计算栈中数值,知道符号栈没有符号。
语法分析数学表达式
或者可能你以前运用过自己的办法来解决过这个程序问题,不过下面我们将通过编译原理建立的一套文法分析理论,来十分精彩地解决这个算法问题。
首先是建立数学表达式的文法EBNF。
EBNF文法可以更灵活地表示BNF,是BNF范式文法的一种扩展。
下面是计算表达式的文法。
Expression->
Term{AddopTerm}
Addop->
"
+"
|"
-"
Term->
Factor{MulopFactor}
Mulop->
*"
/"
Factor->
ID|NUM|"
("
Expression"
)"
我们来看看如何根据这个EBNF文法实现一个递归下降的分析程序。
大致上来说要分那么几步来实现。
(注意:
下面的几个步骤不光是针对本节的数学表达式问题,而是包含所有通常的递归下降文法分析器的实现)
语法分析实现
1.Step 建立词法分析
因为词法分析是语法分析的前提,那么我们在实现递归下降算法的时候,同样应该把词法分析的实现考虑进去。
本文要处理只是个数学表达式的问题,那么通过上面的文法,可以看到需要识别的词法无非就是2个ID,NUM和4个运算符号‘+'、‘-’、'*'、‘/'以及2个括号‘(’、‘)’。
本文没有对词法分析的自动机原理进行讲解,这部分内容应该在编译原理中讲得比较透彻。
所谓自动机,就是按一定步骤识别每个字符的算法。
可以用下面的几个图来表示ID和NUM的识别自动机(识别步骤或算法)
基本算法就是,如果输入的字符是digit('0'-'9'),那么进入check循环,如果输入还是digit,那么再跳回循环
查看,如果输入是other(不是'0'-'9'),那么就直接accept,接收这个串为NUM类型的TOKEN。
同NUM一样,当输入的是letter,那么进入ID的有限自动机。
只是在进入check循环后,有两种可能都继续留在循环,那就是digit和letter('a'-'Z')。
当输入既不是digit,也不是letter的时候,就跳出check循环,进入accept,把接收到的字符归结成ID类型的TOKEN。
通过这个有限自动机的图示,我们就很容易写出词法分析程序。
不过在此之前,我们得写出识别letter和digit的代码。
我们建立两个函数IsLetter和IsDigit来完成这个功能。
intIsLetter(charch)
{
if(ch>
='
A'
&
&
ch<
Z'
)return1;
='
a'
z'
return0;
}
intIsDigit(charch)
{if(ch>
0'
9'
有个这两个辅助函数,那么接下来,我们就直接写gettoken词法分析函数,它的功能就是从输入中分析,得到一个一个的token。
我们首先定义token的类型。
#defineID1
#defineNUM2
#definePLUS3//'
+'
#defineMINUS4//'
-'
#defineTIMERS5//'
*'
#defineOVER6//'
/'
#defineLPAREN7//'
('
#defineRPAREN8//'
)'
#defineERROR255
上面注释已经说符号token代表的意思,我也不再多说。
不过需要注意的是,这里我们定义了个ERROR的常量,但是我们这里并没有ERROR的token,它只是为我们后面处理结果时候的一个错误处理信息的定义。
chartoken[10];
char*nextchar;
constcharg_strCalculate[]="
122+2*(11-1)/(3-(2-0))"
;
我们需要定义token记号和一个指到输入串的指针。
token记录的就是当前gettoken()得到的token的text(字符串)。
nextchar是当前指到输入串的指针。
最后,我们随便定义一个要分析的数学表达式的输入串g_strCalculate。
intgettoken()
char*ptoken=token;
while(*nextchar=='
'
||*nextchar=='
\n'
||
*nextchar=='
\t'
)
nextchar++;
switch(*nextchar)
case'
:
nextchar++;
returnPLUS;
returnMINUS;
returnTIMERS;
returnOVER;
returnLPAREN;
returnRPAREN;
default:
break;
//ID的词法识别分析
if(IsLetter(*nextchar))
while(IsLetter(*nextchar)||IsDigit(*nextchar))
*ptoken=*nextchar;
ptoken++;
*ptoken='
\0'
printf("
gettoken:
token=%s\n"
token);
returnID;
//NUM的词法识别分析
if(IsDigit(*nextchar))
while(IsDigit(*nextchar))
returnNUM;
returnERROR;
代码很简单,我没有写多少注释。
函数中首先使用了char *ptoken记录token的首地址,它为后面的字符串复制(构造token)所用。
同时,在处理代码的第一部分是过滤掉空格、制表符和换行符,然后是计算符号的词法分析。
计算符号就是一个固定的字符号,所以它的识别很简单,直接用switch来判断*nextchar。
而后面的ID、NUM的识别就是完全按照前面的有限自动机表示图表来进行编写的。
以ID的图表来说,ID的自动机首先是要识别出第一个字符是letter,那么我就写了第一行if(IsLetter(*nextchar)),如果满足,则进入check循环,也就是while(IsLetter(*nextchar) || IsDigit(*nextchar))循环。
循环中我们记录了*nextchar到token符号中。
最后跳出check循环,进入accept,在代码中return ID。
对于NUM的词法识别也是如此的,我就不多说了。
2. 根据EBNF文法建立文法识别函数
首先看第一条非终结产生式
Expression也是我们总的输入结果函数。
我们先定义函数int Expression(),其返回值就是我们要处理的表达式的值。
右边的产生式中,第一个是Term,我们就直接调用Term函数完成。
然后是0到无限次的Addop Term,那么用一个循环即可。
文法中使用非终结符号Addop。
程序代码中我没有特别为此非终结符号创建函数。
我们直接在代码以'+' || '-'代替Addop。
代码如下。
intexpression()
inttemp=term();
//对应文法中的第一个Term
inttokentype;
||*nextchar=='
//对应文法中的{AddopTerm}
tokentype=gettoken();
switch(tokentype)
casePLUS:
temp+=term();
break;
caseMINUS:
temp-=term();
returntemp;
然后是第二条文法。
同样,我也没有特别为Mulop特别写一个文法函数,而是直接以'*'|| '\'代替。
同理,建立如下函数
intterm()
inttemp;
inttokentype;
temp=factor();
//对应文法中的Factor
\\'
//对应文法中的{MulopFactor}
tokentype=gettoken();
caseTIMERS:
temp*=factor();
caseOVER:
temp/=factor();
最后是Factor文法Factor->ID|NUM|"("Expression")"
这个文法涉及到文法中的产生式的选择。
由LL
(1)文法的理论我们可以知道,这完全可以是通过ID,NUM,""Expression")"三个产生式的第一个终结符的不同来判断的。
ID的第一个字符号肯定是letter。
而NUM第一个字符号肯定是digit。
"(" Expression ")"第一个字符号肯定是""。
而ID,NUM的判断我们已经在词法分析的时候做好了int gettoken()函数中)。
下面列出Factor文法函数的代码。
intfactor()
intnumber;
switch(gettoken())
caseID:
caseNUM:
number=atoi(token);
caseLPAREN:
number=expression();
if(gettoken()!
=RPAREN)
lost'
intheexpression\n"
);
returnnumber;
好了,把上面出现的函数都写到程序文件中,加上个main函数,就可以编译运行了。
intmain(intargc,char*argv[])
nextchar=g_strCalculate;
result=%d\n"
expression());
system("
PAUSE"
整个数学表达式的源程序大家可以在这里下载。
http:
// doc/calculate/main.c
3. 总结
从上面三个EBNF文法实现我们可以容易得出一些机械性规律出来。
1. 对于EBNF文法中的非终结符都可以写成了一个单独的文法函数出来,比如前面Expression(),Term(),
Factor()。
2. 文法中的产生式的选择可以根据第一个字符号来进行识别,这就是LL
(1)算法中提到的First集合。
比如上面的Factor是直接通过gettoken得到下一个token的类型,然后根据类型的不同的token来switch处理不同产生式的代码。
3. 文法中的{}(0到无限次循环),比如{Addop Term},{ Mulop Factor}可以直接通过循环语句完成。
不过循环的条件还是需要判断下一token是不是Addop或者Mulop的First集合的元素。
比如上面的代码中,Addop就是'+'和'-',Mulop无非就是'*'和'/',所以判断很容易,直接通过*nextchar也可以判断。
如果下一个token不是Addop或者Mulop的First集合元素,那么就应该跳出循环,返回文法函数。
虽然EBNF文法构造递归下降文法分析器代码是如此的简单,但是正如<<编译原理及实践>>书上提到的,它有它的特殊性。
很多时候,仅仅是把BNF文法转换成EBNF文法本身就是一件十分困难的事情,这就需要我们使用前面提到的LL
(1)文法消 除左递归和提取左因式。
与传统算法的比较
当我们明白了EBNF文法和递归下降的分析后,构造的数学表达式处理代码比传统算法要简单,要容易。
原因前面也提到过,首先这种东西的EBNF文法十分容易写,其次,从EBNF文法到代码的创建也十分机械化,也十分容易,最后,递归下降算法没有接触到栈的操作,利用了程序语言本身的递归本身特性,让程序语言去处理栈的操作(并不是说递归下降的算法一点都没有接触到栈,可以说数据结构中递归处理就等于栈处理)。
递归下降的算法也可以很容易扩展表达式的计算操作。
比如说,我们想把函数(如sin,cos)加进去,而且是加到所有运算的最高级别。
那么我们修改Factor文法即可
|"
sin"
"
cos"
至于代码的实现,我们也只需要在int Factor函数中的switch中增加几个case语句就可以了。
.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 递归 下降 分析 编写 一个 用于 判断 数学 表达式 是否 正确 语法分析