14级形式语言期末复习提纲.docx

下载文档

17
0
约小于1千字
约 6页
2017-09-05 发布于重庆
举报
版权申诉
保障服务

14级形式语言期末复习提纲.docx

1、本文档共6页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

14级形式语言期末复习提纲

绪论语言与形式语言字母表（正闭包、克林闭包）句子（前缀、后缀、公共子串、并置）语言文法文法的提出文法的形式定义文法的推导与归约句子与句型常用文法的构造文法的乔姆斯基体系短语结构文法PSG上下文有关文法CSG上下文无关文法CFG正则文法RG线性文法左线性文法右线性文法有穷状态自动机语言的识别问题有穷状态自动机的物理模型有穷状态自动机的形式定义状态转移图状态的set集合DFANFANFA转换为DFA的方法ε-NFAε-NFA转换为NFA的方法构造与DFA等价的文法构造与文法等价的NFA(前三章的重点是4种自动机模型)正则表达式正则表达式的形式定义正则表达式转换为FA的方法aa将DFA转换为正则表达式的方法aaa正则语言等价模型及其转换aaa5种形式化模型正则语言的性质正则语言的泵引理应用泵引理证明一个语言不是RLaaaaa必考正则语言在各种运算下的封闭性填空Myhill-Nerode定理应用Myhill-Nerode定理证明正则语言的方法方法和内容DFA的极小化方法aaa上下文无关语言CFGCFG派生树画图CFG的二义性概念CFG的简化aaa去无用符号去空产生式去单一产生式乔姆斯基范式（CNF）形式定义概念特征将CFG转换为CNF格雷巴赫范式（GNF）形式定义概念特征下推自动机下推自动机PDA的物理模型下推自动及的形式定义PDA两种接受语言的方式空栈和终止状态构造与CFG等价的PDA的方法aaa上下文无关语言性质上下文无关语言的泵引理应用泵引理证明一个语言不是CFLaaa上下文无关语言的封闭性交运算和补运算不封闭上下文无关语言的判定算法9图灵机图灵机的物理模型图灵机的形式定义图灵机即时描述图灵机接受语言的方式图灵机与短语结构语言等价10上下文有关语言线性有界自动机形式定义+图灵机和短语结构文法的等价性线性有界自动机与上下文有关文法等价