《计算机理论导引实验————ADFA的可判定性》由会员分享，可在线阅读，更多相关《计算机理论导引实验————ADFA的可判定性(22页珍藏版)》请在金锄头文库上搜索。

1、HUNAN UNIVERSITY计算理论导引实验报告题目：ADFA的可判定性学 生 姓 名 ：安佳玮学 生 学 号 ：101专 业 班 级 ：计算机科学与技术上 课 老 师 ：吴昊实 验 日 期 ：2011-12-221 班目录一、实验目的错误！未定义书签。二、实验方法错误！未定义书签。三、实验代码错误！未定义书签。四、测试数据以及运行结果61一、实验目的? ADFA =|B 是 DFA ，w 是串， B 接收 w? 证明： ADFA 是可判定的。二、试验方法编写一个算法 / 程序，对于给定的输入 ，可以判定 ADFA三、实验代码#include class DFApublic:int num。

2、_Q;/ 状态的个数int *acc_Q;/ 接受状态集合int start_Q;/ 起始状态int num_E;/ 字母表的个数int *next_Q;/ 转移函数bool Go(int *w);/ 接受输入时的运行结果DFA();/ 构造函数DFA();/ 析构函数;DFA:DFA()int num_acc;/ 接受状态的总个数coutnum_Q;coutnum_E;coutstart_Q;coutnum_acc;2/ 给接受状态数组动态分配空间acc_Q=new intnum_acc+1;coutacc_Qi;/ 标记结尾acc_Qnum_acc=-1;/ 转移函数数组分配空间next_。

3、Q=new int*num_Q;for(i=0;inext_Qjk;/ 析构函数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)coutlen_w;w=new intlen_w+1;coutwi;wlen_w=-1;coutc;if(c=N)return 0;delete w; 改程序在V。

4、C+ 下可以通过编译，并且运行结果正确5四、测试数据以及运行结果以教材上面的一个自动机为例。该自动机识别含有001 作为字串的所有字符串，而拒绝其它的串。运行结果如下所示：6HUNAN UNIVERSITY计算理论导引实验报告题目：CFG 是 P 成员学 生 姓 名 ：安佳玮学 生 学 号 ：101专 业 班 级 ：计算机科学与技术1 班上 课 老 师 ：吴昊实 验 日 期 ：2011-12-227目录一、实验目的错误！未定义书签。二、实验方法错误！未定义书签。三、实验代码错误！未定义书签。四、测试数据以及运行结果108一、实验目的上下文无关文法 CFG G 是否派生某个串 W。采用动态规划(。

5、 Dynamic Programming)设计一个多项式时间的验证算法二、试验方法编写一个算法 / 程序，对于给定的输入 ，可以在多项式时间内判定A CFG。三、实验代码#include / 第一类规则，即规则右边只含有两个变元class Regular_1public:int left;int right_1;int right_2;/ 第二类规则，即规则右边只含有一个终结符或者空class Regular_2public:int left;int right;/ 表格类，用来存放中间数据class Tablepublic:int size;/ 表格的行和列的数量，与输入长度相同int nu。

6、m_v;/ 表格中每个单元格最多含有的数量大小，与cfg 的变元数量相同int *value;/ 用来存放数据的三元数组Table(int num_v,int num_w);/ 构造函数，参数指定输入字符串的长度以及cfg 变元的数量Table();/ 析构函数void SetValue(int i,int j,int num);/ 向表格第 i 行 j 列追加数据numbool CheckValue(int i,int j,int num);/ 检查表格第i 行 j 列是否含有数据num，含有则返回true，否则返回 falsevoid Print();/ 打印表格的内容;9Table:Table()i。