(形式语言与自动机理论蒋宗礼第二章参考答案.docVIP

(形式语言与自动机理论蒋宗礼第二章参考答案.doc

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
(形式语言与自动机理论蒋宗礼第二章参考答案

2.1回答下面的问题: (周期律 (1)在文法中,终极符号和非终极符号各起什么作用? 终结符号是一个文法所产生的语言中句子的中出现的字符,他决定了一个文法的产生语言中字符的范围。 非终结符号又叫做一个语法变量,它表示一个语法范畴,文法中每一个产生式的左部至少要还有一个非终结符号,(二,三型文法要求更严,只允许左部为一个非终结符号)他是推导或归约的核心。 (2)文法的语法范畴有什么意义?开始符号所对应的语法范畴有什么特殊意义? 文法的非终结符号A所对应的语法范畴代表着一个集合L(A),此集合由文法产生式中关于A的产生式推导实现的 开始符号所对应的语法范畴则为文法G = {V,T,P,S}所产生的语言L(G)={} (3)在文法中,除了的变量可以对应一个终极符号行的集合外,按照类似的对应方法,一个字符串也可以对应一个终极符号行集合,这个集合表达什么意义? 字符串对应的终极符号行集合表示这个字符串所能推导到的终极字符串集合,为某个句型的语言。 (4)文法中的归约和推导有什么不同? 推导:文法G = {V,T,P,S},如果则称在G中推导出了。 归约:文法G = {V,T,P,S},如果则称在G中归约到。 这他们的定义,我个人理解两个概念从不同角度看待文法中的产生式,推导是自上而下(从产生式的左边到右边),而归约是自下而上(从产生式的右边到左边),体现到具体实际中,如编译中语法分析时语法树的建立,递归下降,LL(1)等分析法采用自开始符号向下推导识别输入代码生成语法树,对应的LR(1),LALR等分析法则是采用自输入代码(相当于文法中语言的句子)自底向上归约到开始符号建立语法树,各有优劣。 (5)为什么要求定义语言的字母表上的语言为一个非空有穷集合? 非空:根据字母表幂的定义:为字母表中0个字符组成的。这样,当字母表中没有字符的情况,字母表也有一个元素,字母表为空就没有意义,而且,如果字母表为空,将无法定义其上的语言,使得理论体系不严密。 有穷:我们将语言抽象成形式语言的目的就是为了有穷的表示无限的语言,在此基础上我们才定义了字母表和语言,如果字母表为无穷的,他就违背了我们研究问题的初衷,这也使得研究失去意义 (6)任意给定一个字母表,该字母表上的语言都具有有穷描述吗?为什么? 错误,因为一个字母表上有不可数无穷多个语言,而有穷表示只可能是可数无穷多个,又因为不可数无穷集和可数无穷集不是一一对应的,所以存在这样的语言,他不存在有穷表示。 (7)请总结一下,在构造文法时,可以从哪几个方面入手? 我们可以将其类比于软件工程中的概念:-) 首先,也是最重要的一点,需求分析,我们需要知道需要构造的语言的特点,具体表现形式,以及一些需要注意的细节,通过一些特例提炼特点。 其次,概要设计,将语言从具体中抽象到符号上,按照其特性将其划分类别。 再次,详细设计,将每一部分抽象的成果具体化,将所有细节符号化 再次,编码,将详细设计的结果用文法符号的语言表示出来 最后,测试,找出边缘数据,特殊数据进行测试。 (8)按照文法的乔姆斯基体系,文法被分为几类?各有什么样的特点? 分为四类: 文法G = {V,T,P,S},对应的L(G)则为0型文法或短语结果文法。 如果对于,均有成立,则称G为1型文法或上下文有关文法,对应的L(G)称为1型语言。 如果对于,均有成立,且成立,则称G为2型文法,或上下文无关文法,对应的L(G)为2型语言。 如果对于,所有均有:成立,其中则称G为3型文法,或正则文法,对应的L(G)称3型语言。 (9)什么叫左线性文法?什么叫右线性文法?什么叫线性文法 文法G = {V,T,P,S},如果对于,所有均有:成立,则称G为线性文法。 文法G = {V,T,P,S},如果对于,所有均有:成立,其中则称G为右线性文法。 文法G = {V,T,P,S},如果对于,所有均有:成立,其中则称G为左线性文法。 (10)既然已经定义2-10中允许RL包含空语句,那么定理2-6和定理2-7还有什么意义? 此为定义与定理的区别,定义2-10是针对文法G是RG的情况下,定义其产生式加上后仍为RG,G的语言仍为RL,而定理2-6和定理2-7针对的前提条件是如果L为RL,他们都是通过定义2-10证明得到的,可以在以后的推论中直接应用的。 ******************************************************************************* 2. 设L = { 0n | n ≥ 1 },试构造满足要求的文法G. G是RG. G是CFG, 但不是RG. G是CSG, 但不是CFG. G是

文档评论(0)

jdy261842 + 关注
实名认证
文档贡献者

分享好文档!

1亿VIP精品文档

相关文档