一、实验目的
运用LL(1)语法分析的基本原理实现对于句子的语法分析
二、实验要求
1、文法由用户输入(注意:ε符号由@代替,文法中的“定义为”符号位->)
2、数据结构的定义
(1)产生式的数据类型定义如下:
typedef struct producion
{
char left;
char right[MAXSIZE];
} production;
(2)非终结符的first集合的数据类型定义如下:
typedef struct first
{
char ch;
char firstSet[MAXSIZE];
}first;
(3)非终结符的follow集合的数据类型定义如下:
typedef struct follow
{
char ch;
char followSet[MAXSIZE];
}follow;
(4)终结符号集合
字符数组ts;
(5)非终结符号集合
字符数组nts;
(6)文法
production数组 gram;//注意:设产生式为6条
(7)select集合
二维字符数组Select;
(8)LL(1)分析表
二维整型数组 lllist; //元素的值为0~5,即产生式在garm数组的下标;
三、实验内容
1、任意输入一个文法,判断它是否为LL(1)文法
2、如果是一个LL(1)文法,请构造该文法对应的LL(1)分析表; 如果不是,请输出“该文法不是LL(1)文法”。
3、输入一个字符串,请用LL(1)分析算法判断它是否为该文法的一个句子。
四、数据结构设计
主要是通过map数据结构存储分析表、first和follow集。
关键函数设计:
1.创建分析表:
五、算法原理和流程
算法原理步骤:
1.先将输入的文法消除左递归
2.然后提取公因式
3.输出非终结符的first和follow集,再计算各个产生式的select集,判断是否是ll(1)文法
4.如果是ll(1)文法则构建分析表
5.根据分析表来判断一个输入的串是否是该文法的一个句子。
六、实验结果
首先输入文法,终结符和非终结符的信息,便会输出分析表。
然后输入一个串便会输出分析该串的过程。
七、实验代码
#include<iostream>
#include<map>
#include<set>
#include<string.h>
#include<stack>
#include<vector>
#include<algorithm>
using namespace std;
int n1,n2,n3; //分别是文法的长度,非终结符的长度,终结符的长度
const int N=100; //输入规模为小于等于100的文法行
string input_grammer[N]; //输入文法
map<string,vector<string> > cutting_input; //整理完的文法
string is_terminal[N]; //终结符
string not_terminal[N]; //非终结符
bool Is_terminal(string s);
bool is_empty(string s);
bool Not_terminal(string s);
map<pair<string,string> , string> table; //分析表的输出
//table[make_pair("s","T")]="t->s"; 输出格式
//set<string> first_set,fellow_set;
map<string,set<string> > first_set,fellow_set;//first集 fellow集
bool isempty(string s){
//判断文法是否为空(以@为空)
if(s=="@") return true;
vector<string> tmp =cutting_input[s];
for(int i=0;i<tmp.size();i++){
if(tmp[i]=="@") return true;
}
return false;
}
void dfs_one(string t,string s){
//查找单个的终结符
if(Is_terminal(s)){
first_set[t].insert(s);
//cout<<s<<endl;
return ;
}
else if(Not_terminal(s)) {
vector<string> tmp =cutting_input[s];
for(int i=0;i<tmp.size();i++){
for(int j=0;j<tmp[i].size();j++){
string txt="";
txt+=tmp[i][j];
dfs_one(s,txt);
//set_union(first_set[t].begin(), first_set[t].end(), first_set[s].begin(), first_set[s].end(), inserter(first_set[t], first_set[t].begin()));
if(!isempty(txt)) break;
}
}
set_union(first_set[t].begin(), first_set[t].end(), first_set[s].begin(), first_set[s].end(), inserter(first_set[t], first_set[t].begin()))