有穷状态自动机.docx
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 有穷 状态 自动机
- 资源描述:
-
西北师范大学计算机科学与工程学院学生实验报告 学号 111111 专业 计算机科学与技术 班级 技师(1)班 姓名 111 课程名称 编译原理 课程类型 实验 实验名称 有穷状态自动机 实验目的: 1, 准确地识别正规集,即识别正规文法所定义的语言和正规式所表示的集合,为词法分析程序的自动构造寻找特殊的方法和工具; 2, 掌握了有穷状态自动转换机的概念; 3, 掌握DFA的存储表示; 4, 掌握DFA与正则文法的联系 实验原理: 1, 一个确定的有穷状态自动机DFA是五元组(K,∑,M,S,F,),其中, K是有穷非空的状态集合; ∑是有穷非空的输入字母表; M是从K×∑到K的映象。如果M(R,T)=Q,则输入字符为T时,当前状态R将转换到状态Q,Q成为下一当前状态; S是开始状态; F是非空的终止状态集合。 输入任意的正则文法,输出相应的有穷状态自动机 要求:识别有穷状态自动转换机是非确定的还是确定的,以相应的五元组形式输出。 实验代码如下: 实验源代码: #include <iostream> using namespace std; const int maxsize=10; class DFA { private: int M[maxsize][maxsize]; char Vn[maxsize],Vt[maxsize]; int VnNum,VtNum; public: DFA(); ~DFA(){} void print(); int move(char start,char s[]); }; int DFA::move(char start,char s[]) { char t[10];char next=start; int left=0,right=0,i=0,j=0; while(s[i]!='\0'){t[i]=s[i++];} t[i]='\0'; while(t[0]!='\0') { left=0;right=0; while(next!=Vn[left]){left++;} while(t[0]!=Vt[right]){right++;} if(M[left][right]!=-1&&left<VnNum&&right<VtNum) { next=Vn[M[left][right]]; cout<<"M("<<Vn[left]<<","<<Vt[right]<<")="<<next<<endl; } else return 0; i=1; while(t[i]!='\0'){t[i-1]=t[i++];} t[i-1]='\0'; } return 1; } DFA::DFA() { char grammar[maxsize],n[maxsize],t[maxsize]; int rule,left,right,final; int i=0,j=0,k=0; cout<<"rule=";cin>>rule; cout<<"Vn ";cin>>n; cout<<"Vt ";cin>>t; cout<<"grammar"; Vn[0]='S'; j=0; while(n[j]!='\0')Vn[j+1]=n[j++];VnNum=j+1; while(t[i]!='\0')Vt[i]=t[i++];VtNum=i; for(i=0;i<VnNum;i++) for(j=0;j<=VtNum;j++)M[i][j]=-1; i=0; while(i!=rule) { j=0;k=0; cin>>grammar; while(Vn[k]!=grammar[0])k++; final=k; while(grammar[j]!='\0')j++; if(j==2) { k=0; while(Vt[k]!=grammar[1])k++; left=0; right=k; } else { k=0;while(Vn[k]!=grammar[1])k++;left=k; k=0;while(Vt[k]!=grammar[2])k++;right=k; } M[left][right]=final; i++; } } void DFA::print() { int i=0,j=0; cout<<"DFA ({"; while(i!=VnNum){cout<<Vn[i++]<<",";}cout<<"},{"; while(j!=VtNum){cout<<Vt[j++]<<",";}cout<<"},M"<<endl; cout<<"{"<<endl; i=0; while(i!=VnNum) { j=0; while(j!=VtNum) { if(M[i][j]!=-1) { cout<<"M("<<Vn[i]; cout<<","<<Vt[j]<<")="<<Vn[M[i][j]]<<endl; } j++; } i++; } cout<<"},{"<<Vn[0]<<"},{"<<Vn[1]<<"}"; }; int main() { char t[10]; int i; cout<<"------------------------------------------------"<<endl; cout<<"---1.DFA构造,2.打印五元组,3.接受字符串,4.退出---"; cin>>i;DFA s; while(i<=3) { //system("color 1e"); if(i==2)s.print(); if(i==3) {cout<<"输入串"; cin>>t;if(s.move('S',t))cout<<"字符串"<<t<<"可以被该DFA所接收"; else cout<<"字符串"<<t<<"不能被该DFA所接收";} cout<<"\n输入操作"; cin>>i; } system("pause"); } 实验结果: 实验总结: 通过本次实验,对有穷状态自动转换机有了更进一步的了解,掌握了其存储表示与正则文法的联系,并且通过对整个程序的阅读,知道了任意的正则文法如何以五元组的形式输出。能准确地识别正规集,即识别正规文法所定义的语言和正规式所表示的集合.通过本次实验,对有穷状态自动机的概念、其存储表示及其正则文法的联系,有了进一步的理解和认识,增强了动手能力和编程能力。 实验成绩 教师签名展开阅读全文
咨信网温馨提示:1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,个别因单元格分列造成显示页码不一将协商解决,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前可先查看【教您几个在下载文档中可以更好的避免被坑】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时联系平台进行协调解决,联系【微信客服】、【QQ客服】,若有其他问题请点击或扫码反馈【服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【版权申诉】”,意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:0574-28810668;投诉电话:18658249818。




有穷状态自动机.docx



实名认证













自信AI助手
















微信客服
客服QQ
发送邮件
意见反馈



链接地址:https://www.zixin.com.cn/doc/6709653.html