不确定有穷自动机的确定化(7)

l=he.jihe[m].length();

for(i=0;i<k;i++)

for(j=0;j<N;j++)

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];

for(i=0;i<l;i++)

for(j=0;j<N;j++)

if((CHANGE[m]==b[j].change[0])&&(he.jihe[m][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];

}

//输出

void outputfa(int len,int h,chan *t)

{

int i,j,m;

cout<<" I ";

for(i=0;i<len;i++)

cout<<'I'<<CHANGE[i]<<" ";

cout<<endl<<"-------------------------"<<endl;