1.2编译过程和编译程序的结构.ppt

1.2 编译过程和编译程序的结构;词法分析;词法分析position := initial + rate * 60;;;有关术语;语法分析;;id1:=id2+id3*N ;术语;语义分析;又如: int arr [2],abc; abc = arr * 10; … Program p(); Var rate:real; Var initial :real; Var position :real ; … position := initial + rate * 60 ;语义分析;术语;中间代码生成;中间代码生成;中间代码生成(intermediate code generation);代码优化;代码优化;代码优化(code optimization);目标代码生成;符号表管理;符号表(symbol table);出错处理 ;出错处理(error handling)(error reporting and error recovery);编译程序结构(components);出 错 处 理;编译阶段的组合;高级语言解释系统(interpreter); 解释系统; 编译阶段和运行阶段存储结构 ;解释系统存储结构;文法的直观概念和语言概述;“我是大学生”。是汉语的一个句子;;;英语句子;语言概述;有关定义和记号—回顾;对于每个符号串s， s和ε两者都是符号串s的前缀，后缀和子串。 符号串s的真前缀，真后缀，真子串：任何非空符号串 x,相应地，是s的前缀，后缀或子串，并且 s ? x 符号串的运算 符号串的长度：符号串中符号的个数.符号串s的长度记为|s|。 ε的长度为0 连接：符号串x、y的连接,是把y的符号写在x的符号之后得到的符号串xy 如 x=ab,y=cd 则 xy=abcd 有εa = aε 方幂：符号串自身连接n次得到的符号串 an 定义为 aa…aa n个a a1=a, a2=aa则a0=ε;;;文法和语言的形式定义;;定义;文法的定义;推导的定义;;推导的定义;;句型、句子的定义;;文法，语言的定义;例 文法G[S]： （1）S→aSBE （2）S→aBE （3）EB→BE （4）aB→ab （5）bB→bb （6）bE→be （7）eE→ee L（G）={ anbnen | n≥1 } ;;;文法的等价;文法的类型;文法的类型;文法的类型;3型文法;文法的类型;文法和语言;文法和语言;根据形式语言理论,文法和识别系统间有这样的关系; 带 a0 a1 a2 a3 a4 a5 a6 a7 a8 … an-1 an ;; 3型文法产生的语言是有穷自动机（FA）所接受的集合.;;;;正规文法和正规式 对?上的正规式r ,存在一个RG=(VN,VT,P,S)：L(G)=L(r);例 r=a(a?d)?;正规文法和正规式 对G=(VN,VT,P,S),存在一个? =VT上的正规式r : L(r)=L(G);正规文法和正规式;句型、推导;规范推导 规范句型;构造语法树;;二义文法;;句型的分析;句型的分析算法分类;两种方法反映了两种语法树的构造过程。;(1)S → cAd (2) A → ab (3)A → a识别输入串w=cabd是否为该文法的句子自上而下的语法分析;(1)S → cAd (2) A → ab (3)A → a识别输入串w=cabd是否为该文法的句子自下而上的语法分析;句型分析的有关问题;刻画“可归约串”;例i*i+i例 ：i*i+i 的短语、直接短语和句柄;左递归规则--;左递归 关于非终结符P的规则;消除左递归;消除左递归;上下文无关文法中的ε规则;思考;回顾 什麽是词法分析程序;;;正规表达式与正规集（正规语言）;符号串 由字母表中的符号组成的任何有穷序列称为符号串，例如00 11 10 是字母表? =｛0，1｝上的符号串. 字母表A=｛a,b,c｝上的一些符号串有：a,b,c,ab