整体的步骤是三步: 一,先把正规式转换为NFA(非确定有穷自动机), 二,在把NFA通过"子集构造法"转化为DFA, 三,在把DFA通过"分割法"进行最小化. 一步很简单,就是反复运用下图的规则,图1 这样就能转换到NFA了. 给出一个例题,来自Google book.本文主要根据这个例题来讲,图2 二.子集构造法. 同样的例题,把转换好的NFA确定化,图3 这个表是从NFA到DFA的时候必须要用到的.第一列第一行I的意思是从NFA的起始节点经过任意个ε所能到达…

正规式-->最小化DFA 1.先把正则式-->NFA(非确定有穷自动机) 涉及一系列分解规则 2.再把NFA通过"子集构造法"-->DFA 通过子集构造法将NFA转化为DFA 将表里的变量名用比较简单的符号代替(最好是在进行构造的时候顺手在草稿纸上标记好,方便后面的工作) 对照上面的表,画出DFA的状态转换图 图中0,1,2,3,4,5都是终态,因为他们的集合里都包含了最初的终态"数字9". 3.再把DFA通过"分割法"进行最小…

//将正规式转变成NFApackage hjzgg.formal_ceremony_to_dfa; import java.util.ArrayList; class Edge{ public int u, v; public char key; public Edge(int u, int v, char key) { super(); this.u = u; this.v = v; this.key = key; } @Override public String toString() {…

#include <iostream> #include <vector> #include <cstring> #include "stack" #include "algorithm" using namespace std; int NFAStatusNum,AlphabetNum,StatusEdgeNum,AcceptStatusNum; char alphabet[1000]; int accept[1000]; in…

https://www.bilibili.com/video/BV1dj411f7AR?p=50 例题:…

1.将DFA最小化: 状态转换图: 识别语言:b*ac*(da)*bb* 2.构造以下文法相应的最小的DFA S→ 0A|1B A→ 1S|1 B→0S|0 (1)正规式: S -> 0(1S+1)+1(0S+0) ->01S+01+10S+10 ->(01+10)S+01+10 ->(01|10)*(01|10) (2)NAF (3)DFA: 转换矩阵: 状态图: (4)最小化DFA: 状态图 3.给定如下文法 G[S]: S →AB A → aA | ɛ B → b | bB…

1.将DFA最小化:教材P65 第9题 I {1, 2, 3, 4, 5} {6, 7} {1, 2}b->{1, 2, 3, 4, 5} {3, 4}b->{6, 7} {5}b-> {1, 2, 3, 4, 5}可区别,划分 II {1, 2}{3, 4}{5} {6, 7} {6}b->{6} {7}b->{6} {6, 7}不可区别,等价 III {1, 2}{3, 4}{5} {6, 7} {3}c->{3} {4}c->{4} {3}b->{6,…

1.将DFA最小化:教材P65 第9题   解析: 2.构造以下文法相应的最小的DFA S→ 0A|1B A→ 1S|1 B→0S|0 解析: S→ 0A|1B →S → 0(1S|1)|1(0S|0) →01S | 01 | 10S | 10 →(01 | 10)S | (01 | 10) →(01 | 10)*(01 | 10) 由正规式可得NFA如下: 由NFA可得DFA状态转换矩阵以及图如下: 最小化DFA如下: 状态转换图如下: 3.给定如下文法 G[S]: S →AB A → aA …

上个版本测试的时候,只用了两个非常简单的测试用例,所以好多情况有问题却没有测试出来 bug1:在生成diff_matrix的时候,循环变量少循环了一次,导致最后一个节点在如果无法与其他点合并的情况下,程序不会给他生成一个群标号. 修改:把循环变量那里加上等于号 bug2:在遍历群的时候,程序是以碰到空指针为结束的,但是在malloc内存的时候,系统并不为这个内存初始化为0,而是0xcd,所以以是不是空指针来判断边界是不可行的,会造成错误,导致读取了而外的信息. 修改:在遍历群的时候,直接以群的数…

采取的方法是hopcroft的填表法,详情见如下代码 #include "nfa_to_dfa.h" int* dfa_diff_matrix; int mini_dfa_number;//这个是最小化的 dfa表的索引 typedef struct _min_dfa_node { pdfa_edge begin; int is_end;//记录是否是接受节点 }min_dfa_node,*pmin_dfa_node; min_dfa_node mini_dfa_table[];//设…