编译原理全复习(完整版)

  • 格式:doc
  • 大小:461.00 KB
  • 文档页数:10

下载文档原格式

  / 10
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1》编译程序的框架图与功能块:(1)画出编译程序的总体结构,并简述各部分的主要功能:七个部分(2)编译程序的结构分为几个阶段,各阶段的任务是什么?

编译程序总框架

(1)词法分析器,又称扫描器,输入源程序,进行词法分析,输出单词符号。

(2)语法分析器,简称分析器,对单词符号串进行语法分析(根据语法规则进行推导或规约),识别出各类语法单位,最终判断输入串是否构成语法上正确的“程序”。

(3)语义分析与中间代码产生器,按照语义规则对语法分析器归约出(或推导出)的语法单位进行语义分析并把它们翻译成一定形式的中间代码。

(4)优化器,对中间代码进行优化处理。

(5)目标代码生成器,把中间代码翻译成目标程序。

(6)表格管理,登记源程序的各类信息,编译各阶段的进展状况。

(7)出错管理,把错误信息报告给用户。

编译程序的结构分为五个阶段:(1)词法分析.任务是:输入源程序,对构成源程序的字符串进行扫描和分解,识别出一个个的单词(亦称单词符号或简称符号),如基本字,标识符,常熟,算符和界符。

(2)。语法分析,任务是:在词法分析的基础上,根据语言的语法规则,把单词符号串分解成各类语法单位(语法范畴)。

(3)语义分析与中间代码产生。任务:对语法分析所识别出的各类语法范畴,分析其含义,并进行初步翻译(产生中间代码)。

(4)优化。任务在于对前段产生的中间代码进行加工变换,以期在最后阶段能产生出更为高效(省时间和空间)的目标代码。

(5)目标代码生成。任务是:把中间代码(或优化出理之后)变换成特定机械上的低级语言代码。

2》.重要概念:

a. 编译程序:是指能够把源语言程序转换成逻辑上等价的目标语言程序的一个程序。

b. 单词符号:是语言的基本组成成分,是人们理解和编写程序的基本要素,是语言中具有独立意义的最基本结构,它一般包括:基本字、标识符、常数、运算符和界符等

c. 中间代码:是一种含义明确,便于处理的记号系统,它通常独立于具体的硬件。

d. 遍:就是对源程序或源程序的中间结果从头到尾扫描一次,并作有关的加工处理,生成新的中间结果或目标程序。

e. 上下文无关文法(CFG):它所定义的语法范畴(或语法单位)完全独立于这种范畴可能出现的环境之外,不宜描述自然语言。自然语言中,句子和词等往往与上下文紧密相关

f. LL(K)分析法:第一个L表示从左到右扫描输入串,第二个L表示最左推导,K表示分析时每一步需要向前查看K个符号。

g. LR分析法:L表示从左到右扫描输入串,R表示构造一个最右推导的逆过程。

h. 算符优先法:就是定义算符之间的某种优先关系,借助于这种关系寻找“可归约串”和进行归约。

i. 属性文法:是在上下文无关文法的基础上,为每个文法符号(终结符或非终结符)配备若干相关的“值“(称为属性),对于文法的每个产生式都配备了一组属性的计算规则(称为语义规则)。

3》.有哪些存储分配策略,并叙述何时用何种存储分配策略?

答:有静态与动态存储分配策略。动态的存储分配策略包括栈式动态分配策略与堆式动态分配策略。静态分配策略在编译时对所有数据对象分配固定的存储单元,且在运行时始终保持不变。栈式动态分配策略在运行时把存储器作为一个栈进行管理,运行时,每当调用一个过程,它所需要的存储空间就动态地分配于栈顶,一旦退出,她所占空间就予以释放。堆式动态分配策略在运行时把存储器组织成堆结构,以便用户关于存储空间的申请与归还(回收),凡申请者从堆中分给一块,凡释放者退回给堆。

4》.编译过程中可进行的优化如何分类?最常用的代码优化技术有哪些?

答:根据优化涉及范围与程序范围可以分为:局部优化,循环优化和全局优化。

最常用的代码优化技术有:删除公共子表达式,复写传播,删除无用代码,代码外提,强度削弱和删除归纳变量。

5》.一个编译程序的代码生成要着重考虑哪些问题?

答:代码生成器的设计要着重考虑目标代码的质量问题,而衡量目标代码的质量主要从占用空间和执行效率两个方面综合考虑。

【代码生成要着重考虑两个问题:1).如何使生成的目标代码较短 2.)如何充分利用计算机的寄存器。(减少目标代码中访问存储单元的次数。)这两个问题都直接影响目标代码的执行速度】

6》.语言和文法的转换的例题

(1). 文法G2:S→bA,A→aA∣a

解:推导过程S⇒bA⇒ba

S⇒bA⇒baA⇒baa

S⇒bA⇒baA⇒…⇒ba…a

归纳得出:L(G2)={ba^n︱n≥1}

(2).文法G3:S→AB,A→aA∣a,B→bB∣b

解:推导过程S⇒AB⇒ab

S⇒AB⇒aAB⇒aAb⇒aab⇒a^2b

S⇒AB⇒abB⇒abb⇒ab^2

归纳得出L(G3)={a^mb^n︱m,n≥1}

(3).若已知文法G6(A): A → c|Ab 请给出G6(A)的语言?

解答::L(G6)={c,cb,cbb,⋯} 以c开头,后继若干个b

(4).若已知文法G8(S):S→aSBE S→aBE

EB→BE aB→ab bB→bb bE→be eE→ee

请给出G8(S)的语言?

解答: S→a S BE

S→aaB EB E (S→aBE)

S→a aB BEE (EB→BE)

S→aa bB EE (aB→ab)

S→aab bE E (bB→bb)

S→aabb eE(bE→be)

S→aabbee (eE→ee)

L(G8)={ a^nb^ne^n | n≥1}, 上下文有关文法

(5)给出生成下述语言的上下文无关文法:(1){ a^nb^na^mb^m| n,m>=0}

(2){ 1^n0^m1^m0^n| n,m>=0}

▪G1(S)

➢S→AA

➢A→aAb|ε

▪G2(S)

➢S→1S0|A

➢A→0A1|ε

7》.有限自动机

(1)DFA举例DFA M = ({0,1,2,3},{a,b},f,0,{3})

f定义如下:

f(0,a)=1 f(0,b)=2 f(1,a)=3 f(1,b)=2 f(2,a)=1 f(2,b)=3 f(3,a)=3 f(3,b)=3(2).证明t=baab被下图的DFA所接受

对于∑*中的任何字α,若存在一条从初态到某一终态的通路,且这条通路上所有弧的标

b

S

U

V

Q

a

b

b

a

,

b

a a

相关主题