DFA（确定的有穷自动机）的化简

最新推荐文章于 2024-02-02 21:54:56 发布

*南有乔木

最新推荐文章于 2024-02-02 21:54:56 发布

阅读量2.9k

点赞数 4

分类专栏： C语言编译原理文章标签：算法数据结构链表

本文链接：https://blog.csdn.net/qq_43717119/article/details/111011821

版权

本文介绍了通过C++实现确定的有穷自动机（DFA）化简为最简状态的过程，包括实验目的、环境、算法原理和实验步骤。通过分割法与子集法将DFA状态分为不相交子集，确保等价状态在同一子集中，从而达到状态最小化。实验中遇到的效率低下的问题通过查询资料和讨论得到解决，强调了数据结构和编程能力在实现DFA最小化中的关键作用。

摘要由CSDN通过智能技术生成

一、实验目的

通过设计、编写和调试将确定的有穷自动机的状态数变为最少的C程序，使得学生掌握化简为有穷自动机的过程中的相关概念和方法。DFA的表现形式可以为表格或图形。

二、实验内容

每一个正规集都可以由一个状态数最少的DFA所识别，这个DFA是唯一的（不考虑同构的情况）。任意给定的一个DFA，根据以下算法设计一个C程序，将该DFA 化简为与之等价的最简DFA。

三、实验环境

供Windows7系统下的PC机，DEV C++软件，语言：C++。

四、算法与实验原理

（1）构造具有两个组的状态集合的初始划分I：接受状态组 F 和非接受状态组 Non-F。

（2）对I采用下面所述的过程来构造新的划分I-new.

 For I 中每个组G  do  
        Begin  
         当且仅当对任意输入符号a,状态s和读入a后转换到I的同一组中
	/*最坏情况下，一个状态就可能成为一个组*/  
	           用所有新形成的小组集代替I-new中的G;  
	     end

（3）如果I-new=I，令I-final=I,再执行第（4）步，否则令I=I=new,重复步骤（2）。

（4）在划分I-final的每个状态组中选一个状态作为该组的代表。这些代表构成了化简后的DFA　M＇状态。令s是一个代表状态，而且假设：在DFA M中，输入为a时有从s到t转换。令t所在组的代表是r,那么在M’中有一个从s到r的转换，标记为a。令包含s0的状态组的代表是M’的开始状态，并令M’的接受状态是那些属于F的状态所在组的代表。注意,I-final的每个组或者仅含F中的状态，或者不含F中的状态。

（5）如果M’含有死状态（即一个对所有输入符号都有刀自身的转换的非接受状态d）,则从M’中去掉它；删除从开始状态不可到达的状态；取消从任何其他状态到死状态的转换。

（6）实现的数据结构：

1.	用链表实现DFA的构造：由结点链表和转换弧链表组成：  
2.	  struct node //结点的定义  
3.	{int pos;//结点在哪个组中  
4.	 int num；//结点的序号  
5.	 int accept; //结点是否为接受状态  
6.	 struct node *next;    
7.	}NODE;  
8.	        struct arc//弧的定义  
9.	          {int start;  //开始的顶点位置  
10.	           char input;  //弧上所接受的输入字符  
11.	           int end;   //结束的顶点位置  
12.	           struct arc *next;  
13.	}ARC;  
14.	        Struct groups  //分组后各结点所在组的位置  
15.	         {int n; //属于哪个组  
16.	          int i;//在组中的位置  
17.	}GROUPs;

（7）实现方法：
根据accept的值为0还是1进行初次划分I，将accept为0的所有结点构建成一个链表，将accept为1的所有结点构建一个链表。然后执行最小化函数，对每一个输入字符遍历以上个链表，对每个结点.num=弧.start的情况，查看该弧.end的组号是否相等，相等则不划分；若不相等，则需进一步划分，构建新的链表等。
划分完成后选头结点为代表，删除结点链表上其他结点，并将弧线链表上需被删的弧.start或弧.end该为头结点。

五、实验代码

1.	#include<stdio.h>  
2.	#include<iostream>  
3.	#include<cstring>  
4.	#define MAX 1111  
5.	  
6.	using namespace std;  
7.	  
8.	struct state_transition{
     
9.	    char start_point;  
10.	    char edge;  
11.	    char end_point;  
12.	};  
13.	  
14.	//求集合的差  
15.	void subset(char *s1,char *s2,char *s)  
16.	{
     
17.	    int len1 = strlen(s1);  
18.	    int len2 = strlen(s2);  
19.	    for(int i=0,j=0,cnt=0; i<len1; i++,j=0){
     
20.	        for(; j<len2; j++){
     
21.	            if(s1[i]==s2[j]) break;  
22.	        }  
23.	        if(j>=len2){
     
24.	            s[cnt++] = s1[i];  
25.	        }  
26.	    }  
27.	}  
28.	  
29.	//判断下一个状态属于哪个集合  
30.	int jude_set(char result[MAX][MAX],int rlen,char ch1,char ch2,state_transition *dfam,int tlen)  
31.	{
     
32.	  
33.	    for(int i=0; i<tlen; i++){
     
34.	        if(ch1 == dfam[i].start_point && ch2 == dfam[i].edge){
     
35.	            for(int t=0; t<rlen; t++){
     
36.	                for(int j=0; j<strlen(result[t]); j++){
     
37.	                    if(dfam[i