编译原理实验二消除文法的左递归.docx
- 文档编号:24935048
- 上传时间:2023-06-03
- 格式:DOCX
- 页数:16
- 大小:76.98KB
编译原理实验二消除文法的左递归.docx
《编译原理实验二消除文法的左递归.docx》由会员分享,可在线阅读,更多相关《编译原理实验二消除文法的左递归.docx(16页珍藏版)》请在冰豆网上搜索。
编译原理实验二消除文法的左递归
编译原理实验报告
实验名称 消除文法的左递归
实验时间 2013年11月12日
院系 计算机科学与电子技术系
班级 11计算机软件
学号 JV114001JV114095 JP114065
姓名 唐茹 韩强强徐思维
1.试验目的:
输入:
任意的上下文无关文法。
输出:
消除了左递归的等价文法。
2.实验原理:
1.直接左递归的消除
消除产生式中的直接左递归是比较容易的。
例如假设非终结符P的规则为:
P→Pα/ β
其中,β是不以P开头的符号串。
那么,我们可以把P的规则改写为如下的非直接左递归形式:
P→βP’
P’→αP’/ε
这两条规则和原来的规则是等价的,即两种形式从P推出的符号串是相同的。
设有简单表达式文法G[E]:
E→E+T/T
T→T*F/ F
F→(E)/ I
经消除直接左递归后得到如下文法:
E→TE’
E’→+TE’/ε
T→FT’
T’→*FT’/ε
F→(E)/ I
考虑更一般的情况,假定关于非终结符P的规则为
P→Pα1/Pα2 /…/Pαn/β1/β2 /…/βm
其中,αi(I=1,2,…,n)都不为ε,而每个βj(j=1,2,…,m)都不以P开头,将上述规则改写为如下形式即可消除P的直接左递归:
P→β1P’ /β2P’ /…/βm P’
P’→α1P’ /α2P’/…/αn P’/ε
2.间接左递归的消除
直接左递归见诸于表面,利用以上的方法可以很容易将其消除,即把直接左递归改写成直接右递归。
然而文法表面上不存在左递归并不意味着该文法就不存在左递归了。
有些文法虽然表面上不存在左递归,但却隐藏着左递归。
例如,设有文法G[S]:
S→Qc/c
Q→Rb/b
R→Sa/a
虽不具有左递归,但S、Q、R都是左递归的,因为经过若干次推导有
S
Qc
Rbc
Sabc
Q
Rb
Sab
Qcab
R
Sa
Qca
Rbca
就显现出其左递归性了,这就是间接左递归文法。
消除间接左递归的方法是,把间接左递归文法改写为直接左递归文法,然后用消除直接左递归的方法改写文法。
如果一个文法不含有回路,即形如P
P的推导,也不含有以ε为右部的产生式,那么就可以采用下述算法消除文法的所有左递归。
消除左递归算法:
(1)把文法G的所有非终结符按任一顺序排列,例如,A1,A2,…,An。
(2)for (i=1;i<=n;i++)
for(j=1;j<=i-1;j++)
ﻩ{把形如Ai→Ajγ的产生式改写成Ai→δ1γ /δ2γ/…/δkγ
ﻩ其中Aj→δ1/δ2/…/δk是关于的Aj全部规则;
ﻩ消除Ai规则中的直接左递归;
}
(3)化简由(2)所得到的文法,即去掉多余的规则。
利用此算法可以将上述文法进行改写,来消除左递归。
首先,令非终结符的排序为R、Q、S。
对于R,不存在直接左递归。
把R代入到Q中的相关规则中,则Q的规则变为Q→Sab/ ab/b。
代换后的Q不含有直接左递归,将其代入S,S的规则变为S→Sabc/abc/bc/c。
此时,S存在直接左递归。
在消除了S的直接左递归后,得到整个文法为:
S→abcS’/bcS'/ cS'
ﻩS’→abcS'/ ε
Q→Sab/ab/b
ﻩﻩR→Sa/a
可以看到从文法开始符号S出发,永远无法达到Q和R,所以关于Q和R的规则是多余的,将其删除并化简,最后得到文法G[S]为:
ﻩS→abcS'/ bcS’/ cS'
ﻩS'→abcS'/ε
当然如果对文法非终结符排序的不同,最后得到的文法在形式上可能不一样,但它们都是等价的。
例如,如果对上述非终结符排序选为S、Q、R,那么最后得到的文法G[R]为:
R→bcaR'/caR'/aR’
ﻩR'→bcaR'/ε
容易证明上述两个文法是等价的。
3..实验内容:
消除左递归算法:
(4)把文法G的所有非终结符按任一顺序排列,例如,A1,A2,…,An。
(5)for(i=1;i<=n;i++)
for(j=1;j<=i-1;j++)
{把形如Ai→Ajγ的产生式改写成Ai→δ1γ/δ2γ /…/δkγ
其中Aj→δ1 /δ2/…/δk是关于的Aj全部规则;
消除Ai规则中的直接左递归;
}
(6)化简由(2)所得到的文法,即去掉多余的规则。
利用此算法可以将上述文法进行改写,来消除左递归。
注意事项:
指明是否存在左递归,以及左递归的类型。
对于直接左递归,可将其改为直接右递归;对于间接左递归(也称文法左递归),则应按照算法给出非终结符不同排列的等价的消除左递归后的文法。
(应该有n!
种)
4.实验代码与结果:
#include"stdafx.h"
#include
#include<string.h>
#defineN 20
charP[N][N]; //规则集
char Q[N]; //规则集,存放间接左递归消除后的部分规则
charR[N][N]; //用来存放规则的初始值
int r; //实际输入的规则的个数
intdirect(charP[N][N]); //直接左递归函数
intindirect(char P[N][N]); //间接左递归函数
voiddirectRemove(charP[N][N]);//消除直接左递归函数
voidindirectRemove(charP[N][N]); //消除间接左递归函数
intdirect(charP[N][N]) //定义直接左递归函数
{
intflag=0;
for(inti=0;i<r;i++)
ﻩ{
ﻩ if(P[i][3]==P[i][0]) //右部字符中有与左部相同的符号
ﻩ{
ﻩflag++;
break;
}
ﻩ}
if(flag>0)
ﻩ{
ﻩﻩprintf("经判断该文法含有直接左递归!
\n");
ﻩreturn1; //属于直接接左递归
}
else
return0; //不属于直接左递归
}
intindirect(charP[N][N]) //定义间接左递归函数
{
intflag=0;
ﻩfor(inti=0;i<r;i++)
ﻩ{
ﻩﻩfor(int k=1;k<r;k++)
{
ﻩﻩif(P[i+k][0]==P[i][3])
{
flag++;
break;
ﻩ}
}
if(flag>0)
break;
}
if(flag>0)
ﻩ{ﻩ
ﻩprintf("经判断该文法含有间接左递归!
\n");
ﻩﻩreturn 2; //属于间接左递归
ﻩ}
else
return0; //不属于间接左递归
}
void directRemove(char P[N][N])//定义消除直接左递归的函数
{
ﻩintj=4;
ﻩfor(inti=0;i<r;i++)
{
ﻩif(P[i][3]==P[i][0])
{
ﻩﻩP[i][3]=P[i][2];
P[i][2]=P[i][1];
P[i][1]='\'';
while(P[i][j]!
=0)
ﻩﻩﻩj++;
ﻩP[i][j]=P[i][0];
ﻩﻩP[i][j+1]='\'';
ﻩﻩfor(intk=0;k<4;k++) //包含空的一条规则
ﻩﻩﻩ P[r][k]=P[i][k];
ﻩP[r][k]='*';
ﻩ}
else
ﻩ{
ﻩj=3;
ﻩﻩwhile(P[i][j]!
=0)
j++;
ﻩP[i][j]=P[i][0];
ﻩﻩP[i][j+1]='\'';
ﻩﻩ}ﻩﻩ
ﻩ}
printf("\n消除直接左递归后的文法为:
\n");
ﻩprintf("\n");
ﻩprintf("(*代表ε)\n");
printf("\n");
for(intt=0;t ﻩ printf("%s\n",P[t]); } voidindirectRemove(charP[N][N]) //定义消除间接左递归的函数 { intflag,flag1=0,copy=r; inte=0; Q[e]=P[e][0];//统计规则中不同的左部 ﻩfor(inti=1;i<r;i++) ﻩ{ ﻩflag=0; ﻩfor(intk=0;k<=e;k++) ﻩﻩﻩif(P[i][0]! =Q[k]) flag++; ﻩﻩif(flag==(e+1)) { ﻩﻩe++; ﻩﻩQ[e]=P[i][0]; ﻩﻩ} ﻩ} intg=0; ﻩfor(intj=0;j<e;j++) ﻩ{ ﻩintnumber=0; ﻩﻩfor(intz=0;z<r;z++) ﻩﻩif(P[z][0]==Q[j]) ﻩﻩﻩnumber++; //统计相同左部的规则个数 ﻩif(number>1) ﻩcopy++; //如果有相同左部则规则总数加一 ﻩ ﻩﻩfor(i=0;i<r;i++) ﻩ{ ﻩ for(intk=1;k<r;k++) ﻩ{ﻩ ﻩ if((P[i][0]==P[i+k][3])&&(flag1==0)) ﻩﻩ{ ﻩﻩﻩﻩfor(inty=0;P[i+k][y]! =0;y++) ﻩﻩﻩﻩﻩﻩR[g][y]=P[i+k][y];//把原值保留 ﻩflag1=1; ﻩﻩﻩﻩintm=3; ﻩﻩﻩwhile(P[i][m]! =0)//统计替换字符的个数为m-1-2 ﻩﻩﻩm++; ﻩﻩﻩﻩintt=m-3; ﻩﻩintn=4; ﻩwhile(P[i+k][n]! =0)//统计被替换规则中非终结符的个数为n-4 ﻩﻩﻩﻩn++; ﻩfor(ints=n-1;s>=4;s--) ﻩﻩP[i+k][s+t-1]=P[i+k][s]; ﻩﻩﻩfor(intu=3;u<3+t;u++) ﻩﻩP[i+k][u]=P[i][u]; ﻩﻩbreak; ﻩﻩﻩ} ﻩelse if((P[i][0]==R[g][3])&&(flag1==1)) ﻩﻩﻩ{ ﻩﻩﻩﻩﻩfor(inty=0;R[g][y]! =0;y++) ﻩﻩP[copy-1][y]=R[g][y]; ﻩintm=3; ﻩﻩﻩwhile(P[i][m]! =0) //统计替换字符的个数为m-1-2 ﻩﻩm++; ﻩﻩint t=m-3; ﻩﻩint n=4; ﻩwhile(P[copy-1][n]! =0)//统计被替换规则中非终结符的个数为n-4 ﻩﻩﻩﻩﻩn++; ﻩﻩﻩﻩfor(ints=n-1;s>=4;s--) ﻩﻩP[copy-1][s+t-1]=P[copy-1][s]; ﻩﻩﻩfor(int u=3;u<3+t;u++) ﻩﻩP[copy-1][u]=P[i][u]; ﻩﻩbreak; ﻩﻩ} ﻩ} ﻩ} ﻩflag1=0; g++; } ﻩprintf("首次消除间接左递归后的直接左递归文法为: \n"); for(intt=0;t printf("%s\n",P[t]); ﻩprintf("\n"); for(i=0;i<copy;i++) { ﻩif(P[i][0]==Q[e]) ﻩ{ if(P[i][3]==P[i][0]) ﻩ{ ﻩP[i][3]=P[i][2]; ﻩﻩP[i][2]=P[i][1]; ﻩﻩP[i][1]='\''; ﻩﻩﻩwhile(P[i][j]! =0) ﻩﻩﻩj++; ﻩﻩﻩP[i][j]=P[i][0]; ﻩﻩﻩP[i][j+1]='\''; ﻩfor(intk=0;k<4;k++) //包含空的一条规则 ﻩﻩﻩP[copy][k]=P[i][k]; ﻩﻩﻩP[copy][k]='*'; ﻩ} ﻩﻩelse ﻩﻩ{ ﻩﻩﻩj=3; ﻩﻩwhile(P[i][j]! =0) ﻩj++; ﻩﻩﻩP[i][j]=P[i][0]; ﻩﻩﻩP[i][j+1]='\''; }ﻩ ﻩ} ﻩ} printf("再次消除直接左递归后的文法为: \n"); ﻩprintf("\n"); ﻩprintf("(*代表ε)\n"); printf("\n"); for(t=0;t<=copy;t++) ﻩ printf("%s\n",P[t]); } voidmain() { ﻩprintf("请输入上下文无关的文法规则P的个数: "); scanf("%d/n",&r); printf("\n"); printf("请输入各条规则,规则的左部跟右部用->连接,规则间用空格隔开"); printf("\n"); for(intk=0;k<r;k++) ﻩscanf("%s",P[k]); printf("\n"); ﻩprintf("即输入的文法规则为: \n"); for(k=0;k printf("%s\n",P[k]); if(direct(P)==1) directRemove(P); ﻩelseif(indirect(P)==2) ﻩindirectRemove(P); else ﻩprintf("经判断该文法不含有左递归! \n"); } 消除文法直接左递归实例见下页: 消除文法直接左递归实例如下: 消除文法间接左递归实例1如下: 消除文法间接左递归实例2如下: 5.实验心得: 通过消除文法的左递归实验的练习,我们组更加透彻的领悟了消除文法的左递归的内涵,同时也理解了理论联系实际的重要性。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 编译 原理 实验 消除 文法 递归
![提示](https://static.bdocx.com/images/bang_tan.gif)