计算机理论导引实验————ADFA地可判定性.docVIP

计算理论导引实验报告 PAGE 4 HUNAN UNIVERSITY 计算理论导引 实验报告 题 目： ADFA的可判定性 学生姓名： 安佳玮 学生学号： 20090810101 专业班级： 计算机科学与技术1班 上课老师： 吴昊 实验日期： 2011-12-22 目 录 TOC \o 1-2 \h \z \u HYPERLINK \l _Toc276925897 一、实验目的 PAGEREF _Toc276925897 \h 2 HYPERLINK \l _Toc276925898 二、实验方法 PAGEREF _Toc276925898 \h 2 HYPERLINK \l _Toc276925899 三、实验代码 PAGEREF _Toc276925899 \h 2 HYPERLINK \l _Toc276925900 四、测试数据以及运行结果 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运行结果为