《编译原理文法和语言.ppt

  1. 1、本文档共75页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
§3.2 文法和语言的形式定义 例:无符号整数的文法 G[{无符号整数]: 无符号整数 → 数字串 ; 数字串 → 数字串 数字 ; 数字串 → 数字 ; 数字 →0|1|2|…|9; 如整数10的推导过程: 无符号整数 ? 数字串 ? 数字串 数字 ? 数字串 0? 数字 0? 10 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 四 、句型、句子和语言 §3.2 文法和语言的形式定义 1. 句型 * 有文法G[S],若S ? x,则称x是文法G的句型。 2. 句子 * 对文法G[S],若S ? x,且x∈VT*,则称x是文法G的句子。 例:G[S]: S→0S1, S→01 S ?0S1 ?00S11 ?000S111 G的句型S,0S1 ,00S11 ,000S111 G的句 01等 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 四 、句型、句子和语言 §3.2 文法和语言的形式定义 3. 语言 例:G[S]: S→0S1, S→01 S ?0S1 ?00S11 ?0n-1S1n-1 ?0n1n L(G)={0n1n|n≥1} 文法G生成的语言记为L(G),它是文法G的一切句子的集合: L(G)={x|S ? x,且x ∈VT*} * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 四 、句型、句子和语言 §3.2 文法和语言的形式定义 4. 等价文法 例:G[A]: A→0R, A→01,R →A1 A ?0R ?0A1 ?00R1 ?00A11 ? …?0n1n 故G[A]和G[S]所产生的语言是相同的, G[A]和G[S]是等价文法。 G和G是两个不同的文法,若 L(G) = L(G) , 则G和G’为等价文法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 给定文法G[A]: A→bA|cc,下面的符号串中,为该文法句子的是: ①cc ②bcbc ③bcbcc ④bccbcc ⑤bbbcc 练 习 ? ? 注意: 已知文法求语言,通过推导; 已知语言构造文法,全凭经验。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 已知句子L(G)={abna|n≥1},构造文法。 练 习 G1[S]: S→aBa, B→b|Bb G2[S]: S→aBa, B→b|bB Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. §3.3 文法的分类

文档评论(0)

you9391 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档