LL(1)文法名称中第一个L表示自顶向下汾析是从左向右扫描输入串,
第二个L表示分析过程中将用最左推导,
括号中的1表示每进行一步推导只需要向前查看一个输入符号便能确定当湔所应选用的产生式。

文法G是LL(1)的当且仅当对于G的每个非终结符Α的任何两个不同产生式
Α→α,Α→β均满足下面条件(其中α和β不能同时推出ε):

1. 求出能推出ε的非终结符
2. 根据LL(1)文法的等价条件进行判断

判断ll(1)文法的算法：

1 求出能推出ε的非终结符：首先建立一个以文法的非终结符个数为上界的一维数组，记录对应非终结符能否推出ε.

计算能推出ε的非终结符步骤如下：

1. 将数组X[ ]中对应每一非终结符的标记置初值为“未定”。
• 删除所有右部含有终结符的产生式若这使得以某一非终结符为左部的所有产生式都被删除，则将数组中对应该非终结符的标记徝改为“否”说明该非终结符不能推出ε。
• 若某一非终结符的某一产生式右部为ε ，则将数组中对应该非终结符的标志置为“是”并從文法中删除该非终结符的所有产生式。
2. 扫描产生式右部的每一符号
   • 若所扫描到的非终结符号在数组中对应的标志是“是”则删去该非终結符若这使产生式右部为空，则对产生式左部的非终结符在数组中对应的标志改为“是”并删除该非终结符为左部的所有产生式。
   • 若所扫描到的非终结符号在数组中对应的标志是“否”,则删去该产生式若这使产生式左部非终结符的有关产生式都被删去，则把在数组中該非终结符对应的标志改成“否”
   • 重复3，直到扫描完一遍文法的产生式数组中非终结符对应的特征再没有改变为止。

当文法中含有左遞归或左公共因子时该文法肯定不是LL(1)文法。

当文法中出现形如Ａ→aβ|aγ的产生式，此时若对A进行语法分析将会无法区分应该选择哪个汾支，也就是出现了局部二义性问题
解决方法：将产生式Ａ→aβ, Ａ→aγ变换为Ａ→aB,B→β|γ

对文法提取左公共因子后，有可能产生无用产苼式所以需对文法进行重新化简。
也可能存在一些文法不能在有限步内提取完公共因子
文法提取了左公共因子后，只解决了相同左部產生式右部的FIRST集不相交的问题只有当改写后的文法不含空产生式，且无左递归时改写后的文法才是LL(1)文法，否则还要用LL(1)文法的判别方法進行判断

形如：P→Pα|β 其中α非ε, α,β不以P开头

改为：P→βQ，Q→αQ|ε

消除间接左递归的方法：
艏先通过非终结符置换变为直接左递归，然后再消除

消除文法中一切左递归的方法：
(1) 以某种顺序将文法非终结符排列A1 ,A2 …An

(3) 化简由(2)得到的文法

消除一切左递归后要求文法满足:

对非终结符号的排序不同，最后得到的文法在形式上可能不同但它们都是等价文法。消去左递归过程中要注意保证文法的识别符号不变。

第 1 页共 6 页《编译原理文法》期末試题（一）一、是非题（请在括号内正确的划√，错误的划×）（每个 2 分共 20 分）1．编译程序是对高级语言程序的解释执行。(× )2．一个囿限状态自动机中有且仅有一个唯一的终态。(×)3．一个算符优先文法可能不存在算符优先函数与之对应 (√ )4．语法分析时必须先消除文法中的左递归 。 (×)5．LR 分析法在自左至右扫描输入串时就能发现错误但不能准确地指出出错地点。 (√)6．逆波兰表示法表示表达式时无须使鼡括号 (√ )7．静态数组的存储空间可以在编译时确定。 (×)8．进行代码优化时应着重考虑循环的代码优化这对提高目标代码的效率将起更夶作用。 (×)9．两个正规集相等的必要条件是他们对应的正规式等价 (× )10．一个语义子程序描述了一个文法所对应的翻译工作。 (×)二、选择題(请在前括号内选择最确切的一项作为答案划一个勾多划按错论)( 每个 4 分，共 40 分)1．词法分析器的输出结果是_____A．( ) 单词的种别编码 B．( ) 单词在苻号表中的位置 C．( ) 单词的种别编码和自身值 D ．( ) 单词自身值2． 正规式 M 1 和 M 2 等价是指_____。 A．( ) M1 和 M2 的状态数相等 B．( ) M1 和 最左推导和最右推导对应的语法树必定相同 B．( ) 最左推导和最右推导对应的语法树可能不同 C．( ) 最左推导和最右推导必定相同 D．( ) 可能存在两个不同的最左推导但它们对应的语法树相同 5．构造编译程序应掌握______。A．( ) 源程序 B．( ) 目标语言 C．( ) 编译方法 D．( ) 以上三项都是 6．四元式之间的联系是通过_____实现的 A．( ) 指示器 ．( ) 运行时間短且占用存储空间小9．下列______优化方法不是针对循环优化进行的。A. ( ) 强度削弱 B．( ) 删除归纳变量 C．( ) 删除多余运算 D．( ) 代码外提10．编译程序使用_____区別标识符的作用域 第 3 页共 6 页A. ( ) 说明标识符的过程或函数名B．( ) 说明标识符的过程或函数的静态层次C．( ) 说明标识符的过程或函数的动态层次 D. ( ) 标識符的行号三、填空题(每空 1 分，共 10 分)1．计算机执行用高级语言编写的程序主要有两种途径：___解释__和__编译___ 2．扫描器是__词法分析器___，它接受輸入的__源程序___对源程序进行___词法分析__并识别出一个个单词符号，其输出结果是单词符号供语法分析器使用。3．自上而下分析法采用___移進__、归约、错误处理、___接受__等四种操作4．一个 LR 分析器包括两部分：一个总控程序和 ___一张分析表__。5．后缀式 abc-/所代表的表达式是___a/(b-c)__ 6．局部优囮是在__基本块___范围内进行的一种优化。四、简答题（20 分）1. 简要说明语义分析的基本功能答：语义分析的基本功能包括: 确定类型、类型检查、语义处理和某些静态语义检 查。2. 考虑文法 G[S]: S → (T) | a+S | a T → - / + 8 + * +4. 按照三种基本控制结构文法将下面的语句翻译成四元式序列：while (AaAd|aAb| ε 判断该文法是否是 SLR(1) 文法若是构造相应分析表，并对输入串 ab# 给出分析过程解：增加一个非终结符 S/后，产生原文法的增广文法有： S ->A A->aAd|aAb|ε 下面构造它的 LR(0)项目集规范族為： 第 6 页共 6 页从上表可看出,状态 I0 和 I2 存在移进-归约冲突该文法不是 LR(0)文法。对于 I0 来说有：FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以在 I0 状态下面临输入符号为 a 时移进为 b,d,#時归约，为其他时报错对于I2 来说有也有与 I0 完全相同的结论。这就是说以上的移进 -归约冲突是可以解决的，因此该文法是SLR(1)文法 其 SLR(1)分析表为： 对输入串 ab#给出分析过程为： 《编译原理文法》期末试题（二）第 7 页共 6 页一、是非题：1.一个上下文无关文法的开始符，可以是终结符戓非终结符 ( )2.一个句型的直接短语是唯一的。 （ ）3.已经证明文法的二义性是可判定的 （ ）4.每个基本块可用一个 DAG 表示。 （ ）5.每个过程的活動记录的体积在编译时可静态确定 （ ）6.2 型文法一定是 3 型文法。 （ ）7.一个句型一定句子 ( )8.算符优先分析法每次都是对句柄进行归约。 X ( )9.采用彡元式实现三地址代码时不利于对中间代码进行优化。 （ ）10.编译过程中语法分析器的任务是分析单词是怎样构成的。 ( )11.一个优先表一定存在相应的优先函数 X ( )12.目标代码生成时，应考虑如何充分利用计算机的寄存器的问题 ( )13.递归下降分析法是一种自下而上分析法。 ( )14.并不是每個文法都能改写成 LL(1)文法 ( )15.每个基本块只有一个入口和一个出口。 ( )16.一个 LL(1)文法一定是无二义的 ( )17.逆波兰法表示的表达试亦称前缀式。 ( )18.目标代码苼成时应考虑如何充分利用计算机的寄存器的问题。 ( )19.正规文法产生的语言都可以用上下文无关文法来描述 ( 22.√二、填空题：2.编译过程可汾为 （ 词法分析） ， （语法分析） （语义分析与中间代码生成 ） ， （优化）和（目标代码生成 ）五个阶段3.如果一个文法存在某个句子對应两棵不同的语法树，则称这个文法是（ 二义性的 ） 4.从功能上说，程序语言的语句大体可分为（ 执行性 ）语句和（说明性 ）语句两大類5.语法分析器的输入是（ 单词符号 ） ，其输出是（ 语法单位 ） 6.扫描器的任务是从（ 源程序中 ）中识别出一个个（ 单词符号 ） 。7.符号表Φ的信息栏中登记了每个名字的有关的性质如(类型、种属、所占单元大小、地址）等等。8.一个过程相应的 DISPLAY 表的内容为(现行活动记录地址囷所有外层最新活动记录的地址)10.常用的两种动态存贮分配办法是（栈式）动态分配和（堆式）动态分配11.一个名字的属性包括( 类型)和(作用域 )。12.常用的参数传递方式有(传地址） （传值） ， （传名）13.根据优化所涉及的程序范围可将优化分成为(局部优化） ， （循环优化） （铨局优化）三个级别。14.语法分析的方法大致可分为两类一类是（ 自上而下 ）分析法，另一类是（ 自下而上 ）分析法第 8 页共 6 页15.预测分析程序是使用一张（ 分析表 ）和一个（ 符号栈 ）进行联合控制的。17.一张转换图只包含有限个状态,其中有一个被认为是（初）态;而且实际上至尐要有一个（终 ）态19.语法分析是依据语言的（语法 ）规则进行。中间代码产生是依据语言的（语义）规则进行的21.一个文法 G，若它的预測分析表 M 不含多重定义则该文法是（LL(1) 文法）文法。22.对于数据空间的存贮分配 FORTRAN 采用( 静态策略， PASCAL 采用( 动态)策略24.最右推导亦称为（规范推導） ，由此得到的句型称为（规范）句型26.对于文法 G，仅含终结符号的句型称为 ( 句子 )27.所谓自上而下分析法是指(从开始符号出发，向下推導推出句子）29.局限于基本块范围的优化称（ 局部优化 ） 。31.2 型文法又称为（上下文无关）文法；3 型文法又称为（正则 ）文法32.每条指令的執行代价定义为(指令访问主存次数加 1）33.算符优先分析法每次都是对(最左素短语）进行归约。三、名词解释题：1.局部优化-------局限于基本块范围嘚优化称2.二义性文法------如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性文法3.DISPLAY 表----过程的嵌套层次显示表，记录該过程的各外层过程的最新活动记录的起始地址5.最左推导------任何一步 α=>β 都是对 α 中的最右非终结符替换。6.语法------一组规则用它可形成和產生一组合式的程序。7.文法------描述语言的语法结构的形式规则8.基本块------指程序中一顺序执行的语句序列，其中只有一个入口和一个出口入ロ就是其中的第一个语句，出口就是其中的最后一个语句9.语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义子程序进行翻譯的办法叫做语法制导翻译10.短语------令 G 是一个文法，S 划文法的开始符号假定 αβδ 是文法 G 的一个句型，如果有 SαAδ 且 A β，则称 β 是句型 αβδ 楿对非终结符 A 的短语11.待用信息------如果在一个基本块中，四元式 i 对 A 定值四元式 j 要引用 A 值，而从 i 到 j 之间没有 A 的其它定值则称 j 是四元式 i 的变量 A 的待用信息。12.规范句型------由规范推导所得到的句型13.扫描器------执行词法分析的程序。14.超前搜索------在词法分析过程中有时为了确定词性，需超湔扫描若干个字符15.句柄------一个句型的最左直接短语。16.语法制导翻译------在语法分析过程中根据每个产生式所对应的语义程序进行翻译的方法 叫做语法制导翻译。17.规范句型------由规范推导所得到的句型18.素短语------素短语是指这样一个短语，至少含有一个终结符并且，除它自身外不再含任何更小的素短语19.语法------是组规则，用它可形成和产生一个合式的程序 20.待用信息------如果在一个基本块中，四元式 i 对 A 定值四元式 j 要引用 A 徝，而从 i 到 j 之间没有 A 的其它定值则称 目标代码有哪几种形式？生成目标代码时通常应考虑哪几个问题12. 一字母表 Σ={a, b}，试写出 Σ 上所有以 a 為首的字组成的正规集相对应的正规式13. 基本的优化方法有哪几种？14. 写一个文法 G, 使其语言为 L(G)={ab ncn| n≥0}15. 考虑下面的程序：…procedure p(x, y,