正规文法构造正规式(安徽大学编译原理实验报告)

由正规文法构造正规式

【实验目的】

输入：任意的正规文法。

输出：相应的正规式。

【实验原理】

3型文法（正则文法，线性文法）

如果对于某文法G，P中的每个规则具有下列形式：

U :: = T 或U :: = WT

其中T∈VT；U,W∈VN，则称该文法G为左线性文法。

如果对于某文法G，P中的每个规则具有下列形式：

U :: = T 或U :: = TW

其中T∈VT；U, W∈VN，则称该文法G为右线性文法。

左线性文法和右线性文法通称为3型文法或正则文法，有时又称为有穷状态文法，简写为RG。

按照定义，对于正则文法应用规则时，单个非终结符号只能被替换为单个终结符号，或被替换为单个非终结符号加上单个终结符号，或者被替换为单个终结符号加上单个非终结符号。

3型文法所确定的语言为3型语言L3，3型语言可由确定的有限状态自动机来识别。

【程序代码】

#include

#include

#include

#include

#include

#include

using namespace std;

struct relation{

string _left,_right;

};

vector rel;

string VN;

relation get_realation(string str){

int t=str.find('-');

relation r;

r._left=str.substr(0,t);

r._right=str.substr(t+2,str.length()-t);

return r;

}

vector find_Vn(char c){

vector v;

for(int i=0;i

if(rel[i]._left[0]==c){

v.push_back(rel[i]);

}

return v;

}

void print(){

cout<<"[ RG->RE C++ 2012/4/27 COPYRIGHT FROM NINGYU ]"<

void init(){

print();

cout<<"input the RG ,End with Ctrl+Z (note:begin with S)"<

string strPath;

relation r;

int p;

while(cin>>strPath){

rel.push_back(get_realation(strPath));

if(rel[rel.size()-1]._left.length()==1){

char c=rel[rel.size()-1]._left[0];

if(c<='Z'&&c>='A')

{

int t=VN.find(c);

if(t==string::npos)

VN+=c;

}

}

}

}

string dfs(char c){

bool flag;

vector v1,v2,v3,v4;

v4=find_Vn(c);

for(int i=0;i

char t=v4[i]._right[v4[i]._right.length()-1];

if(t==c)

v1.push_back(v4[i]);

else if(t<='Z'&&t>='A')

v2.push_back(v4[i]);

else v3.push_back(v4[i]);

}

relation r;

r._left.push_back(c);

for(int i=0;i

char t=v2[i]._right[v2[i]._right.length()-1];

string s=v2[i]._right.substr(0,v2[i]._right.length()-1);

s+=dfs(t);

r._right=s;

v3.push_back(r);

}

relation r1;

r1._left.push_back(c);

r1._right.push_back('(');

flag=0;

for(int i=0;i

if(flag)

r1._right+='|';

else flag=1;

r1._right+=v3[i]._right;

}

r1._right.push_back(')');

relation r2;

r2._left.push_back(c);

r2._right.push_back('(');

for(int i=0,flag=0;i

if(flag) r2._right.push_back('|');

else flag=1;

r2._right+=v1[i]._right.substr(0,v1[i]._right.length()-1);

}

r2._right.push_back(')');

r1._right='('+r2._right+')'+'*'+r1._right;

return r1._right;

}

string regular(string s){ string str1;

stack sta1;

for(int i=0;i

if(s[i]=='('||s[i]<='z'&&s[i]>='a'||s[i]=='|'){

sta1.push(s[i]);

continue;

}

else if(s[i]==')'){

if(sta1.top()=='(')

sta1.pop();

else sta1.push(s[i]);

}

else if(s[i]=='*'){

if(sta1.size()==0)

continue;

else if(sta1.top()=='*')

continue;

else sta1.push(s[i]);

}

}

while(sta1.size()!=0){

str1+=sta1.top();

sta1.pop();

}

reverse(str1.begin(),str1.end());

return str1;

}

int main(){

init();

string s=dfs('S');

cout<

<<" RE :"

<

print();

return 0;

}

【结果截图】