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

HUNAN UNIVERSITY 计算理论导引实验报告 题 目：  ADFA  的可判定性 学 生 姓 名 ： 安佳玮 学 生 学 号 ： 101 专 业 班 级 ： 计算机科学与技术 上 课 老 师 ： 吴昊 实 验 日 期 ： 2011-12-22  1 班 目 录 一、实验目的 错误！未定义书签。 二、实验方法 错误！未定义书签。 三、实验代码 错误！未定义书签。 四、测试数据以及运行结果 6 1 一、实验目的 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; 2 给接受状态数组动态分配空间 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; 3 在输入下依次寻找下一个状态 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 4 cout 拒绝 endl; cout 验证其它字符串？（ Y/N ） ; char c; cinc; if(c==N) return 0; } delete w; } 改程序在 VC++ 下可以通过编译，并且运行结果正确 5 四、测试数据以及运行结果 以教材上面的一个自动机为例。该自动机识别含有 001 作为字串的所有字符串，而拒绝其它的串。 运行结果如下所示： 6 HUNAN UNIVERSITY 计算理论导引实验报告 题 目： CF