- 1、本文档共22页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
计算机理论引实验————ADFA的可判定性
HUNAN UNIVERSITY
计算理论导引
实验报告
题 目: ADFA的可判定性 学生姓名: 安佳玮 学生学号: 20090810101 专业班级: 计算机科学与技术1班 上课老师: 吴昊 实验日期: 2011-12-22 目 录
一、实验目的 2
二、实验方法 2
三、实验代码 2
四、测试数据以及运行结果 6
一、实验目的
ADFA={B,w|B是DFA,w是串,B接收w}
证明:ADFA是可判定的。
二、试验方法
编写一个算法/程序,对于给定的输入B,w,可以判定ADFA
三、实验代码
#include iostream.h
class DFA
{
public:
int num_Q; // 状态的个数
int *acc_Q; // 接受状态集合
int start_Q; // 起始状态
int num_E; // 字母表的个数
int **next_Q; // 转移函数
bool Go(int *w); // 接受输入时的运行结果
DFA(); // 构造函数
~DFA(); // 析构函数
};
DFA::DFA()
{
int num_acc; // 接受状态的总个数
cout状态总个数:;
cinnum_Q;
cout字母表总个数:;
cinnum_E;
cout起始状态编号(从0开始):;
cinstart_Q;
cout接受状态的总个数:;
cinnum_acc;
// 给接受状态数组动态分配空间
acc_Q=new int[num_acc+1];
cout接受状态编号(以空格隔开):;
for(int i=0;inum_acc;i++)
{
cinacc_Q[i];
}
// 标记结尾
acc_Q[num_acc]=-1;
// 转移函数数组分配空间
next_Q=new int*[num_Q];
for(i=0;inum_Q;i++)
{
next_Q[i]=new int[num_E];
}
cout转移函数:endl;
for(int j=0;jnum_Q;j++)
{
for(int k=0;knum_E;k++)
{
cout编号为j的状态接受到编号为k的输入时,转移到状态:;
cinnext_Q[j][k];
}
}
}
// 析构函数
DFA::~DFA()
{
if(acc_Q)
delete acc_Q;
if(next_Q)
delete next_Q;
}
// 在输入w下运行自动机
bool DFA::Go(int *w)
{
bool result; // 运行结果
int *p=w; // 动态之争
int now_Q; // 当前状态
now_Q=start_Q;
// 在输入下依次寻找下一个状态
while(*p!=-1)
{
cout当前状态now_Q在输入*p下,转移到:;
now_Q=next_Q[now_Q][*p];
coutnow_Qendl;
p++;
}
p=acc_Q;
result=false;
// 判断运行完成之后当前状态是否在接受状态中
while(*p!=-1)
{
if(*p==now_Q)
result=true;
p++;
}
return result;
}
int main()
{
DFA B;
int *w;
int len_w;
bool goon=true;
while(goon)
{
coutendl-----------开始验证-----------endl;
cout输入字符串长度为:;
cinlen_w;
w=new int[len_w+1];
cout输入串中字母的编号依次分别为(以空格隔开):;
for(int i=0;ilen_w;i++)
{
cinw[i];
}
w[len_w]=-1;
cout正在运行中...endl;
bool result=B.Go(w);
cout运行结果为:endl;
if(result)
cout接受endl;
else
cout拒绝endl;
cout验证其它字符串?(Y/N);
char c;
cinc;
if(c==N)
return 0;
}
delete w;
}改程序在VC++下可以通过编译,并且运行结果正确
您可能关注的文档
- 计算机在化中的应用.doc
- 计算机办公动化试题.doc
- 计算机四级件测试工程师--毛会懂.doc
- 计算机在化中的应用-试卷A.doc
- 计算机在化中的应用论文.doc
- 计算机在化中的应用1.doc
- 计算机在化里的应用.doc
- 计算机基本识的学习.doc
- 计算机基础016秋第三套作业.doc
- 计算机基础例教学指导书-word.doc
- 大学生职业规划大赛《新闻学专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《应用统计学专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《音乐学专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《中医学专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《信息管理与信息系统专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《汽车服务工程专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《水产养殖学专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《市场营销专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《音乐表演专业》生涯发展展示PPT.pptx
- 大学生职业规划大赛《音乐学专业》生涯发展展示PPT.pptx
文档评论(0)