- 1、本文档共95页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第二章 高级语言及其语法描述;概述;内容线索;程序设计语言的定义;各级语言的比较;程序语言的内涵;举例:C语言的赋值语句;语法;语法描述方式(1);语法描述方式(2);简单算术表达式的BNF范式;附:BNF表示;语义;程序语言的功能;内容线索;高级语言的分类;高级语言的一般特性;程序结构——单层结构;程序结构——多层结构;初等类型、复合类型到抽象数据类型;类型;数据类型;抽象数据类型;抽象数据类型;抽象数据类型(续);抽象数据类型的特点;数据抽象的优点;语句与控制结构;表达式;语句;赋值语句;控制语句;说明语句;内容线索;概述;形式语言;为什么用形式语言;形式语言与自动机理论的发展;基本概念;基本概念;子符号串;符号串的前缀与后缀;基本概念;(连接)积;n次(连接)积;闭包;文法(Grammar);Chomsky文法体系;文法的形式定义;文法示例;文法的解释(1);文法的解释(1);习惯写法;文法的约定;如何由文法产生语言的句子?;直接推导与归约;推导;最左(右)推导(规约);例. 文法G[S]: S→AB A→A0|1B B→0|S1,
请给出句子101001的最左和最右推导。;句型、句子和语言;例. 设有文法G1[S]: S →bA , A→aA | a
试求此文法所描述的语言。
解:因为从开始符号S出发可推出下列句子:
S ? bA ? ba
S ? bA ? baA ? baa
S ? bA ? baA ? baaA ? baaa
…
S ? bA ? baA ? … ? baa…a
所以,L(G1)={ ban | n1};例.设文法G2[S] :S→ AB A →aA|a B →bB|b 该文法所描述的语言是什么?;例. 试对如下语言L(G3) = {anbn |n=1}构造文法G3。;例. 文法G[数] :
数→数字串
数字串→数字串数字│数字
数字→ 0|1|2|3|4|5|6|7|8|9
语言L(G)为非负整数。;例. 写一文法G3,使其描述的语言为正奇数集合。
令G3 ={ VN,VT,P, 正奇数},其中,
VT ={0,1,2,3,4,5,6,7,8,9},
VN ={正奇数, 一位奇数, 一位偶数, 数字串, 数字}
S: 正奇数
P: 正奇数→一位奇数│数字串 一位奇数
数字串→数字串数字│数字
数字→一位奇数│一位偶数
一位奇数→ 1│3│5│7│9
一位偶数→ 0│2│4│6│8
思考 :如果要求开头元素非零,如何改造?; 正奇数→一位奇数│数字串 一位奇数
数字串→数字串数字│数字1
数字→一位奇数│一位偶数
数字1→1│2│3│4│5│6│7│8│9
一位奇数→ 1│3│5│7│9
一位偶数→ 0│2│4│6│8
或者:
S →A │BA
B →BC│D
C →0 │E │A
D →E │A
E →2│4│6│8
A→ 1│3│5│7│9;同一句型有不同的推导序列;Chomsky文法体系分类;3型文法;2型文法;2型文法示例;1型文法;1型文法示例;0型文法;Chomsky文法体系;文法、形式语言和自动机的对应关系;总结(1);上下文无关文法描述语言语法结构;总结(2);例 非CFL的文法;非CFL结构;语法分析树和文法的二义性;什么是语法树?;从推导构造语法树;S ?AB
?AcBd
?Accdd
?abccdd;给定文法G,G=(VN,VT, S, £),对于G的任何句型都能构造与之关联的语法树(推导树)。这棵树具有下列特征:
1、根结点的标记是开始符号S;
2、每个结点的标记都是V中的一个符号;
3、若一棵子树的根结点为A,且其所有儿子结点的标记从左向右的排列为A1A2…AR,那么 A ? A1A2..AR一定是£中的一条产生式(规则);
4、若一标记为A的结点至少有一个儿子,则A∈VN
5、树的叶结点符号所组成的符号串W就是所给句型;若w中仅含终结符号,则w为文法G所产生的句子。
;例. 文法 G[E] :
E→E+T│T
T→T*F│F
F→(E)│i
句型E
文档评论(0)