LR(0)分析表的构建_lr分析表-程序员宅基地

技术标签: 编译原理(C)  LR(0)分析表  源代码  编译原理  

LR(0)分析表的构建

一、实验要求

构建LR(0)分析表
例:
G[E]:
E->aA
E->bB
A->cA
A->d
B->cB
B->d

二、实验原理

在网上找了好久,发现大多数都是概念和复杂公式,
因此为了使大家能够更好的理解LR(0)分析表的构建,我准备举一个例子进行详细解析,一步步进行分析,直到最后画出分析表。
文法:
E->aA
E->bB
A->cA
A->d
B->cB
B->d

  1. 给初始符再构建一个初始符E’->E(I0)
  2. 为该初始符加上 . . .,变成E’->.E
  3. 查看小圆点后字符是否为非终结符,是,将左部为该非终结符的文法加入其中,并为其添加小圆点;反之进行下一步。(I0变成E’->.E E->.aA E->.bB)
  4. 对I项目中的文法进行分析,若小圆点在最后,则不做处理;若小圆点不在最后,则将根据每个文法的小圆点后的字符来开辟出新的I项目,该文法为新项目的首句文法(I0的文法进行开辟,I0不变,生成I1、I2和I3,I1:E’>.E I2:E->.aA I3:E->.bB),然后将新开辟项目的文法小圆点向后移一位(I1:E’>E. I2:E->a.A I3:E->b.B)。注:若开辟的项目和重复,则不进行开辟,再次利用已存在的项目)
  5. 对开辟的项目重复3-4步骤,直到不再有项目开辟
    具体结果请见下图

在这里插入图片描述

6.然后根据上图,构建出相应的分析表
在这里插入图片描述

三、算法设计

  1. 设计字符串存储文法,采用结构体存储生成的项目以及项目的去向
  2. 为项目0赋予新的初始符,并添加小圆点
  3. 判断小圆点后的字符:
    若为终结符,进行下一步;若为非终结符,将该非终结符为左部的文法加入该项目当中,并为其添加小圆点。
  4. 判断小圆点位置:
    若在该句文法最后,则进行下一步;反之,开辟新的项目,该句文法为新项目的首句文法,并将新项目文法的小圆点后移一位
    注:若开辟的项目中文法和已有的项目重复,则该文法不进行开辟,再次利用已存在的项目。
  5. 重复执行3-4,直到不再有新的空间开辟出来。

四、模块设计

  1. 变量定义
char str[10][10];//存储文法 
int n;//存储文法行数 
int v=0;//存储生成项的个数 
char r[20][10];//存储分析表的float值 
int rr[20][10];//存储分析表的int值 
struct DFA{
	int num;//记录生成项的序号 
	int  c[10];//存储该项目各个文法的去向(子代) 
	int f;//记录该项目的来源(父代) 
	char ss[10][10];//存储该项的文法 
	int count;//记录该项的文法行数 
	int l;//存储第一行字符串'.'的位置 
}LR[20];
  1. 输入模块
    从键盘输入上下文无关文法,存储到char类型的字符串数组当中
//初始化,输入上下文无关文法,以#号结尾 
void Init(){
	int i,j;
	cout<<"输入上下文无关文法:"<<endl;
	for(i=1;;i++){
		cin>>str[i];
		if(str[i][0]=='#')
		break;
	}
	strcat(str[0],"Z->");
	str[0][3]=str[1][0]; 
	n=i+1;
}

我在源代码里还附录了一个输入模块的代码,因为那个是直接将文法输入到字符串中,这样就可减少在进行测试时重复输入文法的时间。
即:

//在一开始编程时可先给定文法,避免每次测试重复输入 
void input(){
	int i,j;
	strcat(str[0],"Z->E");
	strcat(str[1],"E->aA");
	strcat(str[2],"E->bB");
	strcat(str[3],"A->cA");
	strcat(str[4],"A->d");
	strcat(str[5],"B->cB");
	strcat(str[6],"B->d");
	n=7;
	for(i=0;i<n;i++)
	cout<<str[i]<<endl;
	cout<<"***************************"<<endl;
}
  1. LR(0)规范集构建模块
    进行算法分析中第2、3、4三步,记住几个关键点,小圆点位置、小圆点后的字符、项目的开辟(递归)
    当中为使测试方便,调用了几个子函数
    以下只附录子函数代码,具体请看最后源代码
    设置小圆点位置

  2. 输出模块
    将生成的项目以分析表的形式得出,因水品有限,采用的是cout结合二维数组进行输出,代码较多,主要是为了使得输出的格式更加的整齐。
    这部分就不重复贴出代码,大家请从源代码里查看。

  • 设置小圆点位置
//为文法添加小数点 
void AddD(int a,int b){//为LR[a]的ss第b行字符串添加'.' 
	int i,j=0;
	char c[10];
	for(i=0;i<3;i++)
	c[j++]=LR[a].ss[b][i];
	c[3]='.';
	j++;
	for(i=3;i<strlen(LR[a].ss[b]);i++)
	c[j++]=LR[a].ss[b][i];
	memset(LR[a].ss[b],0,sizeof(LR[a].ss[b]));
	for(i=0;i<j;i++)
	LR[a].ss[b][i]=c[i];
}
  • 添加移进项目的文法
//添加移进项目的文法 
void AddG(int a,char s){//把str文法中左部非终结符与s相同的文法,添加进LR[a]中 
	int i,j,k;
	for(i=0;i<n;i++){
		if(str[i][0]==s){
			for(j=0;j<strlen(str[i]);j++)
			LR[a].ss[LR[a].count][j]=str[i][j];
			AddD(a,LR[a].count); 
			LR[a].count++;
		}
	}
}
  • 小圆点后移一位
//将文法小圆点向后移一位 
void add(int a,int j){
	int i,k;
	char temp;
	for(i=0;i<strlen(LR[a].ss[j]);i++){
		LR[v].ss[0][i]=LR[a].ss[j][i];
		if(LR[a].ss[j][i]=='.')
		k=i;//记录小圆点的位置 
	}
	LR[a].c[j]=v;//记录该条文法的跳转(子)项数 
	LR[v].f=a;//记录跳转项数的来源(父代) 
	LR[v].count++;
	temp=LR[v].ss[0][k+1];//小圆点向后移一位 
	LR[v].ss[0][k+1]=LR[v].ss[0][k];
	LR[v].ss[0][k]=temp;
	LR[v].l=k+1;//记录小圆点的位置 
}
  • 更新项目的上一项(父代)和下一项(子代)
//更新某一项的来源(父代)和每一句文法的跳转项(子代) 
void fix(int a,int b){
	int i,j,k;
	k=LR[b].f;//父代 
	for(i=0;i<LR[k].count;i++)
	if(LR[k].c[i]==b)
	LR[k].c[i]=a;//子代 
}
  • 删除相同的项目
//比较,删除相同的内容 
void Compare(int a){
	int i,j,k;
	for(i=0;i<a;i++){
		for(j=i+1;j<=a;j++){
			if(strcmp(LR[i].ss[0],LR[j].ss[0])==0){//若相同 
				fix(i,j);
				memset(LR[j].ss,0,sizeof(LR[j].ss));//靠后的文法内容清空 
				LR[j].count=0;
			}
		}
	}	
}
  1. 主函数
//主函数 
int main(){
	Init();;//输入上下文无关文法 
	//input();//输入上下文无关文法 
	gfj();//规范集的构建 
    Output();//输出分析表 
} 

5、结果展示

  1. 首先编译运行
    在这里插入图片描述
  2. 然后输入上下文无关文法,以#键结尾
    在这里插入图片描述

3.然后回车获得结果
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

6、源代码

源代码已经过编译,可直接使用。代码都有详细的注释,大家碰到任何问题都可以留言,一起讨论。

#include<iostream>
#include<iomanip>
#include<string.h>
using namespace std;

char str[10][10];//存储文法 
int n;//存储文法行数 
int v=0;//存储生成项的个数 
char r[20][10];//存储分析表的float值 
int rr[20][10];//存储分析表的int值 
struct DFA{
	int num;//记录生成项的序号 
	int  c[10];//存储该项的上一项位置 
	int f;//记录 
	char ss[10][10];//存储该项的文法 
	int count;//记录该项的文法行数 
	int l;//存储第一行字符串'.'的位置 
}LR[20];

//初始化,输入上下文无关文法,以#号结尾 
void Init(){
	int i,j;
	cout<<"输入上下文无关文法:"<<endl;
	for(i=1;;i++){
		cin>>str[i];
		if(str[i][0]=='#')
		break;
	}
	strcat(str[0],"Z->");
	str[0][3]=str[1][0]; 
	n=i+1;
}

//在一开始编程时可先给定文法,避免每次测试重复输入 
void input(){
	int i,j;
	strcat(str[0],"Z->E");
	strcat(str[1],"E->aA");
	strcat(str[2],"E->bB");
	strcat(str[3],"A->cA");
	strcat(str[4],"A->d");
	strcat(str[5],"B->cB");
	strcat(str[6],"B->d");
	n=7;
	for(i=0;i<n;i++)
	cout<<str[i]<<endl;
	cout<<"***************************"<<endl;
}

//为文法添加小数点 
void AddD(int a,int b){//为LR[a]的ss第b行字符串添加'.' 
	int i,j=0;
	char c[10];
	for(i=0;i<3;i++)
	c[j++]=LR[a].ss[b][i];
	c[3]='.';
	j++;
	for(i=3;i<strlen(LR[a].ss[b]);i++)
	c[j++]=LR[a].ss[b][i];
	memset(LR[a].ss[b],0,sizeof(LR[a].ss[b]));
	for(i=0;i<j;i++)
	LR[a].ss[b][i]=c[i];
}

//添加移进项目的文法 
void AddG(int a,char s){//把str文法中左部非终结符与s相同的文法,添加进LR[a]中 
	int i,j,k;
	for(i=0;i<n;i++){
		if(str[i][0]==s){
			for(j=0;j<strlen(str[i]);j++)
			LR[a].ss[LR[a].count][j]=str[i][j];
			AddD(a,LR[a].count); 
			LR[a].count++;
		}
	}
}

//将文法小圆点向后移一位 
void add(int a,int j){
	int i,k;
	char temp;
	for(i=0;i<strlen(LR[a].ss[j]);i++){
		LR[v].ss[0][i]=LR[a].ss[j][i];
		if(LR[a].ss[j][i]=='.')
		k=i;//记录小圆点的位置 
	}
	LR[a].c[j]=v;//记录该条文法的跳转(子)项数 
	LR[v].f=a;//记录跳转项数的来源(父代) 
	LR[v].count++;
	temp=LR[v].ss[0][k+1];//小圆点向后移一位 
	LR[v].ss[0][k+1]=LR[v].ss[0][k];
	LR[v].ss[0][k]=temp;
	LR[v].l=k+1;//记录小圆点的位置 
}

//更新某一项的来源(父代)和每一句文法的跳转项(子代) 
void fix(int a,int b){
	int i,j,k;
	k=LR[b].f;//父代 
	for(i=0;i<LR[k].count;i++)
	if(LR[k].c[i]==b)
	LR[k].c[i]=a;//子代 
}

//比较,删除相同的内容 
void Compare(int a){
	int i,j,k;
	for(i=0;i<a;i++){
		for(j=i+1;j<=a;j++){
			if(strcmp(LR[i].ss[0],LR[j].ss[0])==0){//若相同 
				fix(i,j);
				memset(LR[j].ss,0,sizeof(LR[j].ss));//靠后的文法内容清空 
				LR[j].count=0;
			}
		}
	}	
}

//LR(0)规范集的构建
void gfj(){
	int i,j,k,p;
	for(i=0;i<20;i++){
		LR[i].num=i;//Ii
		if(i==0){//第一个,赋予文法的初始符Z->E 
			for(k=0;k<strlen(str[0]);k++)
			LR[0].ss[0][k]=str[0][k];
			AddD(0,LR[0].count);//添加小圆点 Z->.E 
			LR[0].l=3;//小圆点的位置 
			LR[0].count++;//文法数目+1		
	    	if(LR[i].ss[0][4]>='A'&&LR[i].ss[0][4]<'Z') 
	    	AddG(i,LR[i].ss[0][4]);//添加移进项目的文法E->aA E->bB
	    	v++;
            //为每一个文法进行向外扩散 I1、I2、I3 
	    	for(j=0;j<LR[0].count;j++){
	    		p=strlen(LR[0].ss[j]);
		    	if(LR[0].ss[j][p-1]!='.'){
		    		add(0,j);//将向外扩散的文法小圆点向后移一位 
		    		v++;
		    	}
	    	}
		}
    	else{//除I0以外的生成项 
    		p=strlen(LR[i].ss[0]);//Ii第一句文法的长度 
    		if(LR[i].count==1&&LR[i].ss[0][p-1]=='.'){//若小圆点再最后则不进行处理 
    	    }
    		else{
	        	p=LR[i].l;//小圆点的位置 
	        	if(LR[i].ss[0][p+1]>='A'&&LR[i].ss[0][p+1]<'Z')
	        	AddG(i,LR[i].ss[0][p+1]);//添加移进项目的文法
	            //为每一个文法进行向外扩散 
	        	for(j=0;j<LR[i].count;j++){
	        		add(i,j);//将待向外扩散的文法小圆点向后移一位 
	        		v++;
	            }
	            
	        }
            Compare(i);//对所有已生成的项进行比较,若有重复的则删除i值靠后的 
		}
	}
    //将生成的项进行整理,补齐有缺的部分(删除重复的之后可能会有内容为空,从后面补齐) 
    for(i=0;i<20;i++){
    	for(j=i+1;j<20;j++){
    		if(LR[i].count==0&&LR[j].count!=0&&LR[i].num<LR[j].num){
    			fix(i,j);
    			LR[i]=LR[j];
    			LR[j].count=0;    			
			}
		}
	}
	//对当前的生成项进行编号 
	for(i=0;LR[i].count!=0;)
	i++;
	v=i;
	//输出当前生成项及各项的文法 
	cout<<"各项的序号和文法内容:"<<endl;
	for(i=0;i<v;i++){
    	cout<<i<<":"<<endl;
    	for(j=0;j<LR[i].count;j++)
    	cout<<LR[i].ss[j]<<endl;
        cout<<endl;
    }  
} 

 
//分析表根据第一行进行匹配处理 
void match(int a,int b){
	int i,j;
	char k;
	if(b==0&&LR[a].count==1&&strlen(LR[a].ss[b])-1==LR[a].l){//若是终结文法 (即小圆点在最后) 
		if(LR[a].ss[b][0]=='Z')//且是初始符终结 
    	strcpy(r[a+1],"acc");
    	else
		for(i=0;i<5;i++)//Action都输出r 
		r[a+1][i]='r';
	}
    else{//不是终结文法,k储存小圆点后一个字符,进行比较判断 
    	if(b==0)
    	k=LR[a].ss[b][LR[a].l+1];
    	else
    	k=LR[a].ss[b][4];
    	for(i=0;i<strlen(r[0]);i++){
    		if(r[0][i]==k)
    		rr[a+1][i]=LR[a].c[b];
    	}
	}
}
 
//进行分析表的构建和输出 
void Output(){
	int i,j,k,temp;
	strcpy(r[0],"abcd#EAB");//分析表的第一行 
	cout<<"LR0分析表:"<<endl;
	cout<<setw(20)<<"Action"<<setw(18)<<"Goto"<<endl; 
	//分析表根据第一行进行匹配 
    for(i=0;i<v;i++){
    	for(j=0;j<LR[i].count;j++)
    	match(i,j);//进行匹配处理 
	}
	//进行分析表输出形式的处理 
	for(i=0;i<v+1;i++){
		temp=0;
		//保证输出对其 
		if(i==0)
		cout<<"   ";
        if(i>0&&i<=10)
    	cout<<" "<<i-1<<":";
    	if(i>10)
    	cout<<i-1<<":";
    	if(strcmp(r[i],"acc")==0)
    	cout<<setw(24);
    	//先输出Action部分 
		for(j=0;j<5;j++){
		    if(r[i][j]=='r'){//输出终结文法 
    	    	cout<<setw(4)<<r[i][j]<<k;
    	    	temp=1;
    	    }
    	    else if(strcmp(r[i],"acc")==0)//输出起始符的终结欸文法 
    	    cout<<r[i][j];
	    	else{ 
	    		if(i==0)
    	    	cout<<setw(5)<<r[i][j];
    	    	else if(rr[i][j]==0)
    	    	cout<<setw(5)<<" ";
    	    	else
    	    	cout<<setw(4)<<"S"<<rr[i][j];
    	    }
	    }
	    if(temp==1)
	    k++;//进行对r1、r2、r3等下标的处理 
	    //再输出Goto部分 
		for(j=5;j<strlen(r[0]);j++){
			if(i==0)
    	    cout<<setw(5)<<r[i][j];
    	    else if(rr[i][j]==0)
    	    cout<<setw(5)<<" ";
    	    else
    	    cout<<setw(5)<<rr[i][j];
		}
		cout<<endl;
	}
}

//主函数 
int main(){
	int i,j;
	Init();
	//input();//输入上下文无关文法 
	gfj();//规范集的构建 
	//Excels();
    Output();//输出分析表 
} 

在这里插入图片描述

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/ScottWei_007/article/details/90244531

智能推荐

使用nginx解决浏览器跨域问题_nginx不停的xhr-程序员宅基地

文章浏览阅读1k次。通过使用ajax方法跨域请求是浏览器所不允许的,浏览器出于安全考虑是禁止的。警告信息如下:不过jQuery对跨域问题也有解决方案,使用jsonp的方式解决,方法如下:$.ajax({ async:false, url: 'http://www.mysite.com/demo.do', // 跨域URL ty..._nginx不停的xhr

在 Oracle 中配置 extproc 以访问 ST_Geometry-程序员宅基地

文章浏览阅读2k次。关于在 Oracle 中配置 extproc 以访问 ST_Geometry,也就是我们所说的 使用空间SQL 的方法,官方文档链接如下。http://desktop.arcgis.com/zh-cn/arcmap/latest/manage-data/gdbs-in-oracle/configure-oracle-extproc.htm其实简单总结一下,主要就分为以下几个步骤。..._extproc

Linux C++ gbk转为utf-8_linux c++ gbk->utf8-程序员宅基地

文章浏览阅读1.5w次。linux下没有上面的两个函数,需要使用函数 mbstowcs和wcstombsmbstowcs将多字节编码转换为宽字节编码wcstombs将宽字节编码转换为多字节编码这两个函数,转换过程中受到系统编码类型的影响,需要通过设置来设定转换前和转换后的编码类型。通过函数setlocale进行系统编码的设置。linux下输入命名locale -a查看系统支持的编码_linux c++ gbk->utf8

IMP-00009: 导出文件异常结束-程序员宅基地

文章浏览阅读750次。今天准备从生产库向测试库进行数据导入,结果在imp导入的时候遇到“ IMP-00009:导出文件异常结束” 错误,google一下,发现可能有如下原因导致imp的数据太大,没有写buffer和commit两个数据库字符集不同从低版本exp的dmp文件,向高版本imp导出的dmp文件出错传输dmp文件时,文件损坏解决办法:imp时指定..._imp-00009导出文件异常结束

python程序员需要深入掌握的技能_Python用数据说明程序员需要掌握的技能-程序员宅基地

文章浏览阅读143次。当下是一个大数据的时代,各个行业都离不开数据的支持。因此,网络爬虫就应运而生。网络爬虫当下最为火热的是Python,Python开发爬虫相对简单,而且功能库相当完善,力压众多开发语言。本次教程我们爬取前程无忧的招聘信息来分析Python程序员需要掌握那些编程技术。首先在谷歌浏览器打开前程无忧的首页,按F12打开浏览器的开发者工具。浏览器开发者工具是用于捕捉网站的请求信息,通过分析请求信息可以了解请..._初级python程序员能力要求

Spring @Service生成bean名称的规则(当类的名字是以两个或以上的大写字母开头的话,bean的名字会与类名保持一致)_@service beanname-程序员宅基地

文章浏览阅读7.6k次,点赞2次,收藏6次。@Service标注的bean,类名:ABDemoService查看源码后发现,原来是经过一个特殊处理:当类的名字是以两个或以上的大写字母开头的话,bean的名字会与类名保持一致public class AnnotationBeanNameGenerator implements BeanNameGenerator { private static final String C..._@service beanname

随便推点

二叉树的各种创建方法_二叉树的建立-程序员宅基地

文章浏览阅读6.9w次,点赞73次,收藏463次。1.前序创建#include&lt;stdio.h&gt;#include&lt;string.h&gt;#include&lt;stdlib.h&gt;#include&lt;malloc.h&gt;#include&lt;iostream&gt;#include&lt;stack&gt;#include&lt;queue&gt;using namespace std;typed_二叉树的建立

解决asp.net导出excel时中文文件名乱码_asp.net utf8 导出中文字符乱码-程序员宅基地

文章浏览阅读7.1k次。在Asp.net上使用Excel导出功能,如果文件名出现中文,便会以乱码视之。 解决方法: fileName = HttpUtility.UrlEncode(fileName, System.Text.Encoding.UTF8);_asp.net utf8 导出中文字符乱码

笔记-编译原理-实验一-词法分析器设计_对pl/0作以下修改扩充。增加单词-程序员宅基地

文章浏览阅读2.1k次,点赞4次,收藏23次。第一次实验 词法分析实验报告设计思想词法分析的主要任务是根据文法的词汇表以及对应约定的编码进行一定的识别,找出文件中所有的合法的单词,并给出一定的信息作为最后的结果,用于后续语法分析程序的使用;本实验针对 PL/0 语言 的文法、词汇表编写一个词法分析程序,对于每个单词根据词汇表输出: (单词种类, 单词的值) 二元对。词汇表:种别编码单词符号助记符0beginb..._对pl/0作以下修改扩充。增加单词

android adb shell 权限,android adb shell权限被拒绝-程序员宅基地

文章浏览阅读773次。我在使用adb.exe时遇到了麻烦.我想使用与bash相同的adb.exe shell提示符,所以我决定更改默认的bash二进制文件(当然二进制文件是交叉编译的,一切都很完美)更改bash二进制文件遵循以下顺序> adb remount> adb push bash / system / bin /> adb shell> cd / system / bin> chm..._adb shell mv 权限

投影仪-相机标定_相机-投影仪标定-程序员宅基地

文章浏览阅读6.8k次,点赞12次,收藏125次。1. 单目相机标定引言相机标定已经研究多年,标定的算法可以分为基于摄影测量的标定和自标定。其中,应用最为广泛的还是张正友标定法。这是一种简单灵活、高鲁棒性、低成本的相机标定算法。仅需要一台相机和一块平面标定板构建相机标定系统,在标定过程中,相机拍摄多个角度下(至少两个角度,推荐10~20个角度)的标定板图像(相机和标定板都可以移动),即可对相机的内外参数进行标定。下面介绍张氏标定法(以下也这么称呼)的原理。原理相机模型和单应矩阵相机标定,就是对相机的内外参数进行计算的过程,从而得到物体到图像的投影_相机-投影仪标定

Wayland架构、渲染、硬件支持-程序员宅基地

文章浏览阅读2.2k次。文章目录Wayland 架构Wayland 渲染Wayland的 硬件支持简 述: 翻译一篇关于和 wayland 有关的技术文章, 其英文标题为Wayland Architecture .Wayland 架构若是想要更好的理解 Wayland 架构及其与 X (X11 or X Window System) 结构;一种很好的方法是将事件从输入设备就开始跟踪, 查看期间所有的屏幕上出现的变化。这就是我们现在对 X 的理解。 内核是从一个输入设备中获取一个事件,并通过 evdev 输入_wayland

推荐文章

热门文章

相关标签