计算机理论导引实验报告-上下文无关文法(CFG).docVIP

计算理论导引实验报告 PAGE 1HUNAN UNIVERSITY计算理论导引实验报告题 目：上下文无关文法（CFG）学生姓名：学生学号：专业班级：计算机科学与技术2班上课老师：实验日期：2014-1-5目 录 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 四、测试数据以及运行结果 9 HYPERLINK file:///C:\\Users\\z\\Desktop\\张琦佳-计算理论实验\\计算机理论导引实验报告3.doc \l _Toc276925900#_Toc276925900 五、实验感想 13一、实验目的1、掌握上下文无关文法概念。2、掌握用动态规划算法验证某个字符串w是否属于某上下文无关文法。二、实验内容对于任意给定的一个上下文无关文法，并对任意字符串w, 用动态规划算法判断是否有w∈L(G)。编写一个算法/程序，对于给定的输入G,w，可以在多项式时间内判定ACFG。三、实验代码#include iostream.h// 第一类规则，即规则右边只含有两个变元class Regular_1{public: int left; int right_1; int right_2;};// 第二类规则，即规则右边只含有一个终结符或者空class Regular_2{public: int left; int right;};// 表格类，用来存放中间数据class Table{public: int size; // 表格的行和列的数量，与输入长度相同 int num_v; // 表格中每个单元格最多含有的数量大小，与cfg的变元数量相同 int ***value; // 用来存放数据的三元数组 Table(int num_v,int num_w); // 构造函数，参数指定输入字符串的长度以及cfg变元的数量 ~Table(); // 析构函数 void SetValue(int i,int j,int num); // 向表格第i行j列追加数据num bool CheckValue(int i,int j,int num); // 检查表格第i行j列是否含有数据num，含有则返回true，否则返回false void Print(); // 打印表格的内容};Table::~Table(){ if(value) delete value;}void Table::SetValue(int i,int j,int num){ int *p=value[i][j]; // 寻找追加数据的位置 while((*p)!=-1) { p++; } *p=num;}bool Table::CheckValue(int i,int j,int num){ int *p=value[i][j]; while((*p)!=-1) { if((*p)==num) return true; p++; } return false;}Table::Table(int num_v,int num_w){ size=num_w; this-num_v=num_v; value=new int**[num_w]; // 给value动态分配，并将初值设为-1 for(int i=0;inum_w;i++) { value[i]=new int*[num_w]; for(int j=0;jnum_w;j++) { value[i][j]=new int[num_v]; for(int k=0;knum_v;k++) { value[i][j][k]=-1; } } }}void Table::Print(){ int i,j,k; cout打印表格内容endl; if(size==0) { cout表格为空endl; return; } cout表格内容如下:endl; for(i=0;isize;i++) { for(j=0;jsize;j++) { couttable[i][j]:; for(k=0;knum_v;k++) { if(this-value[i][j][k]==-1) break