资源描述：
《递归下降分析程序.docx》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、一、实验目得:根据某一文法编制调试递归下降分析程序,以便对任意输入得符号串进行分析。本次实验得目得主要就是加深对递归下降分析法得理解。二、程序算法描述这次得实习主要就是根据以下文法实现一个递归下降分析器，依据文法如下:(1）E—〉TG（2)Ｇ—＞+TG
2、－TG
3、ε(3)Ｔ—＞FS(4)S—>*ＦS
4、/ＦS
5、ε(5)F—〉（E）
6、i在这个递归下降分析器程序中每一个非终结符E、Ｇ、Ｔ、Ｓ与F构造相应得递归函数，函数得名字表示文法左部得非终结符,函数中就就是按文法中每个非终结符右部得候选式依次进行匹配，根据对输入串得分析如果非终结符可以用其中得一个候选式替代就返回1,否则返
7、回0。因为该文法中有五个非终结符,所以定义了五个函数,分别为E(),G(），Ｔ(),Ｓ（)与Ｆ()。当输入一串字符串后,就对该字符串进行分析，首先从开始符号分析，所以首先调用E（)函数,在E()函数中会调用Ｔ（)与G(),就就是每个非终结符得候选式中出现了哪个非终结符就调用哪个函数。所以,将字符串得第一个字符与E中得每个候选式匹配,如果成功就匹配输入字符串得下一个字符,当最后剩下得字符为’＃’时，匹配成功。其实这个工程就就是构造一个语法树.程序总流程图如下：开始输入字符串以#结束对输入的字符串进行分析最后剩余的字符是#输入字符串正确输出ERROR结束图1程序总流程图三
8、、关键性代码这个工程得主要工作用五个非终结符生成得句子就是否与输入字符串匹配,所以主要得工作就是函数E（）,G(),T()，Ｓ（)与Ｆ(）得编写。1、对非终结符E处理得函数E（)这个函数主要就是根据文法中得Ｅ—〉TＧ，在E()中调用了Ｔ(）与G()来进行递归分析，这个就就是构造生成树得一个分支。intE（）｛intf，t;//变量printｆ(”E——〉ＴGt”);//输出根据得文法flag=1;?outDeduce（);/／输出字符串ouｔputReｍain（);//输出剩余字符?f=T();ｉf(f＝=０)return(0）;//表示当前分析字符可由非终结符Ｔ推
9、导出?ｔ=G(）；?ｉｆ(t＝=0)reｔｕｒn（0）;／/表示当前分析字符可由非终结符Ｇ推导出??ｅｌsｅｒetuｒn(1）;}2、对非终结符G处理得函数Ｇ(）这个函数主要就是根据文法中Ｇ-〉+ＴG｜－TG
10、ε,在函数中调用了Ｔ(）与Ｇ（)函数。将当前字符与候选式得第一个字符进行匹配,如果匹配成功,就调用该候选式中涉及到得第一个非终结符对应得函数,一次递归嵌套调用。如果不就是由第一个候选式推出然后依次匹配剩下得候选式。iｎtG()｛intf;ｉf(ch＝＝’+'）?ｂ[i1］＝ch；{//当前字符式‘+’printｆ(”G—-〉+TＧｔ＂)；/／说明用得就
11、是第一个候选式e［0]=’G';e［１]=’＝';e[2]＝'>’;e[3]='＋'；e[4]=’T’;e［５]='Ｇ’;e［６］='＃’;pｕｔe（)；／／计算推导式?ｆｌａg=0；ｏutDeｄuｃe（）;／/输出字符串ouｔpuｔRｅmaｉn();//输出剩余字符ｃh=ａ［++i1];／/读取当前字符得下一个字符?if(f=＝０)retｕｒｎ（０）;／/表示当前分析字符可由非终结符Ｔ推导出t＝G(）;?if（t==0)return（0）；//表示当前分析字符可由非终结符Ｇ推导出if(ｃh=＝'-＇)｛//当前字符就是‘－＇b[i１]=ch;printｆ（"G-－
12、>+TGt");//说明用得就是第二个候选式e［0]=＇G＇;ｅ[1］='='；e[2]=＇＞';e[3]=’+’;e［4］＝’T'；e［5]＝’G’；e[6］='#';pｕｔe（);//输出推导式?ｆlａg＝0；outDeduce()；/／输出字符串ouｔpｕtRemaｉn(）；／/输出剩余字符?cｈ=a［+＋ｉ1］；//读取当前字符得下一个字符?f=T（）;?if（ｆ==0)ｒetｕrｎ(０）；／/表示当前分析字符可由非终结符Ｔ推导出?G();//判断当前分析字符就是否就是非终结符G得一个产生式?retuｒn(1)；｝prinｔｆ("G——＞^t"）;?ｅ
13、[0］=’G';e［1]=’=’；ｅ[2］＝’〉';ｅ［3]=’^';e[4］='#'；?pute()；／/推导式计算flａg=1；outDｅdｕｃe();//输出字符串?ouｔputRｅmaｉｎ（);／／输出剩余字符?ｒｅｔuｒｎ(1）；}3、对非终结符T处理得函数Ｔ()函数主要就是根据文法中得T-〉FＳ,在函数中调用F（)与S(）,进行递归分析,也就是构造语法树得一个分支。ｉntＴ()｛intf，t；priｎtf（”T--〉FSt”);/／说明所用得推导式就是T-—＞FS?e［0]='T';e[1］=’=＇;e[２]＝’〉’；e[3]＝'
