第一章语言与语言的翻译.pptVIP

第一章语言与语言的翻译第1页，共10页，星期日，2025年，2月5日*第二章词法的双重含义：词法规则＋词法分析模式、记号与单词形式化描述：正规式与正规集记号的识别：有限自动机NFA：与正规式有对应关系，易于构造，状态数少；DFA：具有确定性，不易构造，状态数可能多；识别方法：模拟DFA、模拟NFA对于正规式r，构造自动机识别字符串x，有结论：自动机空间时间NFAO(|r|)O(|r|*|x|)DFAO(2|r|)O(|x|)第2页，共10页，星期日，2025年，2月5日*第二章从正规式到词法分析器正规式描述模式由正规式构造NFANFA的确定化（子集法：smove，ε-闭包）DFA的最小化（可区分概念）词法分析器：表驱动与直接编码第3页，共10页，星期日，2025年，2月5日*第三章程序设计语言与文法正规式与正规文法上下文无关文法CFG=(N,T,P,S)文法分类：0型、1型、2型和3型有关推导的基本概念产生语言的基本方法－推导：句子与句型、直接推导与推导、最左推导与左句型分析树与语法树分析树记录推导过程并反映语言结构语法树仅反映语言结构而忽略推导过程，树中没有非终结符二义性与二义性的消除第4页，共10页，星期日，2025年，2月5日*第三章自上而下分析分析方法：用推导的方法从上到下构造分析树，谋求与输入序列的匹配，是一种试探的方法；对文法的要求：为避免回朔与无穷递归，要求文法没有公共左因子和左递归；递归下降子程序：每个非终结符是一个子程序预测分析下推自动机工作模式：格局与格局的变换预测分析表：四个动作、分析表中的内容预测分析表的构造：FIRST集合与FOLLOW集合LL(1)文法及其判别方法第5页，共10页，星期日，2025年，2月5日*自下而上分析分析方法：用归约的方法从叶子到根构造分析树，谋求对输入序列的匹配基本概念：短语、直接短语、句柄、规约、规范规约、剪句柄基本方法:用移进-归约方法实现剪句柄LR文法与LR分析：LR(0),SLR(1),LALR(1),LR(1)SLR(1)分析格局与格局变换、改变格局的四个动作移进－归约分析表：动作表与转移表SLR(1)分析器的构造识别活前缀的DFA：LR(0)项目、项目集、项目集族、子集法识别活前缀：有效项目、可移进项、可规约项、冲突SLR(1)文法：简单向前看一个终结符第6页，共10页，星期日，2025年，2月5日*第四章重点是程序设计语言的静态语义分析，并且在语法分析的基础上生成中间代码，采用的基本方法是语法制导翻译。语法制导翻译的基本概念语法与语义属性与语义规则语义规则的两种形式中间代码为什么生成中间代码常用形式：树、后缀式、三地址码(三元式、四元式)符号表的组织条目与信息存储(直接/间接)作用域信息保存(线性表、散列表)第7页，共10页，星期日，2025年，2月5日