形式语言期末复习提纲.doc_第1页
形式语言期末复习提纲.doc_第2页
形式语言期末复习提纲.doc_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

第一章：绪论语言与形式语言字母表（正闭包、克林闭包）句子（前缀、后缀、公共子串、并置）语言第二章：文法文法的提出文法的形式定义文法的推导与归约句子与句型常用文法的构造文法的乔姆斯基体系短语结构文法上下文有关文法上下文无关文法正则文法有穷状态自动机语言的识别问题有穷状态自动机的物理模型有穷状态自动的形式定义状态转移图状态的set集合DFANFANFA转换为DFA的方法-NFA-NFA转换为NFA的方法构造与DFA等价的文法构造与文法等价的NFA正则表达式正则表达式的形式定义正则表达式转换为FA的方法将DFA转换为正则表达式的方法正则语言等价模型及其转换正则语言的性质正则语言的泵引理应用泵引理证明一个语言不是RL正则语言在各种预算下的封闭性DFA的极小化方法上下文无关语言CFGCFG派生树二义性CFG的简化去无用符号去空产生式去单一产生式乔姆斯基范式（CNF）形式定义将CFG转换为CNF格雷巴赫范式（GNF）形式定义下推自动机下推自动机PDA的物理模型下推自动及的形式定义PDA两种接受语言的方式构造与CFG等价的PDA的方法构造与PDA等价的CFG的方法其他上下文无关语言的泵引理上下文无关语言的封闭性图灵机的物理模型图灵机的形式定义图灵机与短语结构语言等价
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论