编译原理复习提纲整理教程.doc

概述 1. 编译方式与解释方式区别：是否生成目标代码 2. 编译程序总框架 词法分析 状态转换图的功能：识别（接受）一定的符号串（单词） 状态转换图的程序实现的思路：为每个状态结点都编写一个子程序 字母表的概念：一般用∑表示 闭包的概念：闭包V*中的每个字都是由V中的字经过若干次连接而成的 正则闭包V+的概念：是V上所有符号串的集合 ∑*定义：表示∑上所有字的全体，空字ε也包括在其中 ∑+空字ε不包含，非ε ε，{ }，{ε}之间的区别 ε所对应的正规集为{ε} 正规式与正规集的定义：知道如何用正规式表示一个正规集 简述NFA和DFA的定义与区别 若M的某些结点既是初态结点又是终态结点，或者存在一条从某初态结点到某个终态结点的ε通路，那么空字ε可为M所识别 正规式与优先自动机的等价性 定理2.对于∑上的每一个正规式V，存在一个∑上的DFA M，使得L(M)=L(V) DFA M的化简的概念和方法：终态和非终态是可区别的，因为终态可以读出空字ε，而非终态不能读出空字ε 课后作业一个例题 构造一个DFA，它接受∑={x，y}上所有倒数第二个字符为y的字符串 语法分析 （1）基本定义 上下文无关文法的定义 句型、句子的概念 文法和语言的对应关系，给出文法构造语言，文法G产生的句子的全体是该文法的语言 语法分析树与二义性：判断文法的二义性方法：如果一个文法含有二义性的