实现DFA

#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;
}

输入输出如下图
前四行分别是字母表,状态集,初态,终态集
后面几行是状态转换函数
在这里插入图片描述

猜你喜欢

转载自blog.csdn.net/weixin_45890608/article/details/111500480
DFA