java语言nfa转dfa分析程序_编译原理报告NFA转DFA详解附源代码.doc

编译原理实习报告

学号:******

班级:******

姓名:******

日期:2015

目录

题目及需求分析……………………………………………3

设计分析……………………………………………………3

调试分析……………………………………………………7

用户手册……………………………………………………7

测试结果……………………………………………………7

总结…………………………………………………………7

源代码………………………………………………………8

题目:NFA转换为等价的DFA

实习时间:2015.10.12

【问题描述】以定理“设L为一个由不确定的有穷自动机接受的集合,则存在一个接受L的确定的有穷自动机”为理论基础,设计算法实现将不确定的有穷自动机(NFA)转换为与之等价的确定的有穷自动机(DFA)。

【基本要求】

确定能够表示FA的合适的结构,以便FA的输入和输出

设计的算法既要成功实现题目要求的功能,又要高效、鲁棒

程序中的函数、变量等命名要规则,可读性要强(易懂)

需求分析

(1) 要将以状态转换图表示的NFA转换为DFA,首先应设计一个结构来表示FA,以便图形式的FA便于输入和输出。

(2) 设计合适的算法来实现NFA的确定化,这里用子集法来构造等价的DFA。

(3) 测试数据:课本P59例4.8

转换前的NFA 转换后的DFA

2.设计

数据结构设计

由于FA是一个图,可想到用图的存储结构来存储FA,但是,FA中两个结点之间的路径可以不只一条,这让想考虑用邻接矩阵来存储的FA处理起来有点复杂,我采用的是“结点-边-结点”式的三元组来表示FA。FA有多少条边就应该有多少个这样的三元组,以一个数组来存放这些三元组,那么一个FA就可以表示出来了。

此外,由子集法的步骤可见,集合(set)这一结构应该使用,,set结构符合我们数学的集合要求,不含相同元素,并且两个集合间还可以进行比较是否相等,十分有利于我们的程序实现。

表示FA的结构:

//Triad(三元组):S →

//Triad(三元组):S → aB即(S,a,B)

struct Triad{

char start;

char edge;

char end;

};

集合与栈使用库里面的标准集合、栈。即包含头文件set、stack

文件结构

程序不是很复杂,加之使用到的数据结构是标准库里的,文件只有一个N2D.cpp,其中有#include和#include。

程序基本框架概览

struct Triad{ }; // FA的基本组成结构

struct Triad{ }; // FA的基本组成结构

int main(){

初始化工作;

determined(); //确定化

}

e_closure(){ } //求ε闭包

move(){} //求集合的 x 弧转换

determined(){ } //确定化

主要函数的实现

伪代码具有简明扼要的特点,利用伪代码子来表示程序流程有利于理解和后续实现。

子集法伪代码:

s0

s0 ← NFA的开始状态

集合T ← e-closure(s0)

把T加入到子集簇C(未标记)

while ( 集合U ← 在C中找到一个未标记的集合){

标记 U;

for(对于每一种输入即a、b... ...){

U ← e-closure(move(T, a))

if(U不是C的子集)

把U加入到子集簇C(未标记)

有T → aU

}

}

此外,求ε的传递闭包要利用栈这一数据结构做辅助,其伪代码如下:

//求e-closure(T)的伪代码

//求e-closure(T)的伪代码

将T中的所有状态全都压入栈S、集合U

while(S非空){

t ← 取栈顶元素;

for(每个从t状态能通过空串转换得到的状态s)

if(s不在U中){

把状态s加入U;

把状态s压入S;

}

}

return U; //集合U即为所求的ε闭包

再在伪代码的基础上来编写这些核心函数就方便多了,具

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值