#include<cstdio>
#include<algorithm>
#include<vector>
#include<iostream>
using namespace std;
#define maxn 100
#include<map>
//word存字母表,state存状态集,start开始状态,end结束态,二元函数用矩阵来存
//f[state][word]=state,对于输入的字符串,处理f[start][str[0]],转到下一个状态,在读入下一个字符
//根据当前字符和状态得到下一状态,直到字符为空,若此时是终态,则yes
//是否是DFA判定,开始态只有一个,f[state][word]只有唯一值
vector<char>word,state,s0,End,matrix;
map<char,int>Stoi,wtoi;
char f[maxn][maxn];
int indexs,indexw;
map<char,bool>hashtable;
bool accept(string str)
{
char st=s0[0];
for(int i=0;i<str.size();i++){
//cout<<st<<str[i]<<endl;
if(f[Stoi[st]][wtoi[str[i]]]==0){
return false;
}
st=f[Stoi[st]][wtoi[str[i]]];
}
for(int i=0;i<End.size();i++){
if(End[i]==st){
return true;
}
}
return false;
}
int main()
{
string str;
char c;
while(scanf("%c",&c)!=EOF){
if(c!=' ')
str+=c;
}
int i;
for(i=0;str[i]!='\n';i++){
word.push_back(str[i]);
wtoi[word[i]]=i;//字符映射成整数,作为f矩阵的下标
}
for(i=i+1;str[i]!='\n';i++){
state.push_back(str[i]);
Stoi[str[i]]=state.size()-1;
}
for(i=i+1;str[i]!='\n';i++){
s0.push_back(str[i]);
}
for(i=i+1;str[i]!='\n';i++){
End.push_back(str[i]);
}
for(i=i+1;str[i]!='Q';i+=4){
if(f[Stoi[str[i]]][wtoi[str[i+1]]]==0){
f[Stoi[str[i]]][wtoi[str[i+1]]]=str[i+2];
}
else{
printf("Not DFA\n");
return 0;
}
}
printf("DFA\n");
string s;
i+=2;
while(str[i]){
if(str[i]=='\n'){
//cout<<s<<endl;
if(accept(s)){
printf("Yes\n");
}
else{
printf("No\n");
}
s.clear();
i++;
}
s+=str[i];
i++;
}
return 0;
}
输入输出如下图
前四行分别是字母表,状态集,初态,终态集
后面几行是状态转换函数