不确定有穷自动机的确定化编译原理实验报告文档格式.docx
- 文档编号:22961187
- 上传时间:2023-02-06
- 格式:DOCX
- 页数:14
- 大小:16.84KB
不确定有穷自动机的确定化编译原理实验报告文档格式.docx
《不确定有穷自动机的确定化编译原理实验报告文档格式.docx》由会员分享,可在线阅读,更多相关《不确定有穷自动机的确定化编译原理实验报告文档格式.docx(14页珍藏版)》请在冰豆网上搜索。
K为状态集:
(1)开始,令closure(K0)为S中唯一成员,并且未被标记
(2)WHILE(C中存在尚未被标记的子集T)
DO
{
标记T;
For每输入字母a
DO
U:
=closure(move(T,a));
IfU不在S中then
将U作为未被标记的子集加在S中
}
5.代码实现
#include<
iostream>
string>
#defineMAXS100
usingnamespacestd;
stringNODE;
//结点集合
stringCHANGE;
//终结符集合
intN;
//NFA边数
structedge{
stringfirst;
stringchange;
stringlast;
};
structchan{
stringltab;
stringjihe[MAXS];
voidkong(inta)
{
inti;
for(i=0;
i<
a;
i++)
cout<
<
'
'
;
}
//排序
voidpaixu(string&
a)
inti,j;
charb;
for(j=0;
j<
a.length();
j++)
if(NODE.find(a[i])>
NODE.find(a[i+1]))
b=a[i];
a[i]=a[i+1];
a[i+1]=b;
voideclouse(charc,string&
he,edgeb[])
intk;
for(k=0;
k<
N;
k++)
if(c==b[k].first[0])
if(b[k].change=="
*"
)
if(he.find(b[k].last)>
he.length())
he+=b[k].last;
eclouse(b[k].last[0],he,b);
voidmove(chan&
he,intm,edgeb[])
inti,j,k,l;
k=he.ltab.length();
l=he.jihe[m].length();
k;
if((CHANGE[m]==b[j].change[0])&
&
(he.ltab[i]==b[j].first[0]))
if(he.jihe[m].find(b[j].last[0])>
he.jihe[m].length())
he.jihe[m]+=b[j].last[0];
l;
(he.jihe[m][i]==b[j].first[0]))
//输出
voidoutputfa(intlen,inth,chan*t)
inti,j,m;
"
I"
len;
I'
CHANGE[i]<
"
endl<
-------------------------"
endl;
h;
t[i].ltab;
m=t[i].ltab.length();
kong(8-m);
m=t[i].jihe[j].length();
t[i].jihe[j];
voidmain()
edge*b=newedge[MAXS];
inti,j,k,m,n,h,x,y,len;
boolflag;
stringjh[MAXS],endnode,ednode,sta;
请输入NFA各边信息(起点条件[空为*]终点),以#结束:
MAXS;
cin>
>
b[i].first;
if(b[i].first=="
#"
)break;
b[i].change>
b[i].last;
N=i;
/*for(j=0;
b[j].first<
b[j].change<
b[j].last<
*/
if(NODE.find(b[i].first)>
NODE.length())
NODE+=b[i].first;
if(NODE.find(b[i].last)>
NODE+=b[i].last;
if((CHANGE.find(b[i].change)>
CHANGE.length())&
(b[i].change!
="
))
CHANGE+=b[i].change;
len=CHANGE.length();
结点中属于终态的是:
endnode;
endnode.length();
if(NODE.find(endnode[i])>
所输终态不在集合中,错误!
return;
//cout<
endnode="
endnode<
chan*t=newchan[MAXS];
t[0].ltab=b[0].first;
h=1;
eclouse(b[0].first[0],t[0].ltab,b);
//求e-clouse
t[0].ltab<
t[i].ltab.length();
for(m=0;
m<
m++)
eclouse(t[i].ltab[j],t[i].jihe[m],b);
t[i].jihe[k]<
->
move(t[i],k,b);
//求move(I,a)
t[i].jihe[k].length();
eclouse(t[i].jihe[k][j],t[i].jihe[k],b);
paixu(t[i].jihe[j]);
//对集合排序以便比较
flag=operator==(t[k].ltab,t[i].jihe[j]);
if(flag)
break;
if(!
flag&
t[i].jihe[j].length())
t[h++].ltab=t[i].jihe[j];
状态转换矩阵如下:
outputfa(len,h,t);
//输出状态转换矩阵
//状态重新命名
string*d=newstring[h];
NODE.erase();
重命名:
sta=t[i].ltab;
t[i].ltab.erase();
t[i].ltab='
A'
+i;
NODE+=t[i].ltab;
{'
sta<
}="
t[i].ltab<
if(sta.find(endnode[j])<
sta.length())
d[1]=ednode+=t[i].ltab;
if(sta==t[k].jihe[m])
t[k].jihe[m]=t[i].ltab;
NODE.length();
if(ednode.find(NODE[i])>
ednode.length())
d[0]+=NODE[i];
endnode=ednode;
DFA如下:
//输出DFA
其中终态为:
//DFA最小化
m=2;
sta.erase();
flag=0;
m;
d["
]="
d[i]<
I"
CHANGE[k]<
y=m;
d[i].length();
for(n=0;
n<
y;
n++)
if(d[n].find(t[NODE.find(d[i][j])].jihe[k])<
d[n].length()||t[NODE.find(d[i][j])].jihe[k].length()==0
if(t[NODE.find(d[i][j])].jihe[k].length()==0)
x=m;
else
x=n;
sta+=x+48;
if(sta[0]!
=x+48)
d[m]+=d[i][j];
flag=1;
d[i].erase(j,1);
j--;
//跳出n
}//n
}//j
m++;
sta="
}//k
}//i
集合划分:
{"
}"
chan*md=newchan[m];
md[i].ltab='
NODE+=md[i].ltab;
md[i].ltab<
if(d[i][0]==t[j].ltab[0])
t[j].jihe[k].length())
if(d[n].find(t[j].jihe[k])<
d[n].length())
md[i].jihe[k]=md[n].ltab;
ednode.erase();
if(d[i].find(endnode[j])<
d[i].length()&
ednode.find(md[i].ltab))
ednode+=md[i].ltab;
最小化DFA如下:
outputfa(len,m,md);
}
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 不确定 有穷 自动机 的确 编译 原理 实验 报告