编译原理实验：DFA模拟程序

实验1  词法程序设计——DFA模拟程序

一、实验目的
    通过实验教学，加深学生对所学的关于编译的理论知识的理解，增强学生对所学知识的综合应用能力，并通过实践达到对所学的知识进行验证。通过对DFA模拟程序实验，使学生掌握词法分析的实现技术，及具体实现方法。通过本实验加深对词法分析程序的功能及实现方法的理解 。

二、实验环境
 供Windows系统的PC机，可用C++/C#/Java等编程工具编写
三、实验内容
1、定义一个右线性正规文法，示例如(仅供参考)

G[S]：S→aU|bV    U→bV|aQ

V→aU|bQ    Q→aQ|bQ|e

实验前要考虑清楚用哪种数据结构存储上述文法。

2、构造其有穷确定自动机，如

3、利用有穷确定自动机M=(K,Σ,f, S,Z）行为模拟程序算法，来对于任意给定的串，若属于该语言时，该过程经有限次计算后就会停止并回答“是”，若不属于，要么能停止并回答“不是”。

K:=S；

c:=getchar;

while c<>eof do

{K:=f(K,c);  

  c:=getchar;       };

if K is in Z then return (‘yes’)

else return (‘no’)

实现代码：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
string K;//状态
string alphabet;//字母表
char S;//初态
string Z;//终态
int numZ;//终态个数
int numtran;//正规文法数
struct tran
{
    /* data */
    char nowstate;
    char alpha;
    char nextstate;
};
vector<tran> nums;//转换函数

int main()
{
    cout<<"请输入初态\n";
    cin>>S;
    K+=S;
    cout<<"请输入终态个数\n";
    cin>>numZ;
    cout<<"请输入终态集（空格隔开）\n";
    for(int i=0;i<numZ;i++)
    {
        char h;
        cin>>h;
        Z+=h;
        K+=h;
    }
    cout<<"请输入正规文法数量\n";
    cin>>numtran;
    cout<<"请输入正规文法形如S-aU\n";
    for(int i=0;i<numtran;i++)
    {
        string s;
        cin>>s;
        tran s2;
        s2.nowstate=s[0];
        s2.alpha=s[2];
        s2.nextstate=s[3];
        nums.emplace_back(s2);
        if(find(K.begin(),K.end(),s[0])==K.end())
        {
            K+=s[0];
        }
        if(find(K.begin(),K.end(),s[3])==K.end())
        {
            K+=s[3];
        }
        if(find(alphabet.begin(),alphabet.end(),s[2])==alphabet.end())
        {
            alphabet+=s[2];
        }
    }
    while(true)
    {
        cout<<"请输入要判断的字符串：(输入q退出)\n";
        string str;
        cin>>str;
        if(str=="q")
        {
            cout<<"程序退出！\n";
            break;
        }
        char now=S;
        for(int i=0;i<str.size();i++)
        {
            int flag=0;
            for(int j=0;j<numtran;j++)
            {
                if(nums[j].nowstate==now&&nums[j].alpha==str[i])
                {
                    now=nums[j].nextstate;
                    flag=1;
                    break;
                }
            }
            if(flag==0) break;
        }
        if(find(Z.begin(),Z.end(),now)!=Z.end())
        {
            cout<<"yes\n";
        }else{
            cout<<"no\n";
        }
    }
    return 0;
}
/*
S
1
Q
8
S-aU
S-bV
U-bV
U-aQ
V-aU
V-bQ
Q-aQ
Q-bQ
abb



S
2
Q V
6
S-aU
S-bV
U-bV
U-aQ
Q-aQ
Q-bQ
ab
*/