、文法9@ 描述的语言是
9
、在自下而上的语法分析中,语法树与分析树一定相同。 ()
、二义文法不是上下文无关文法。 ()
、语法分析时必须先消除文法中的左递归。 ()
、规范归约和规范推导是互逆的两个过程。 ()
、一个文法所有句型的集合形成该文法所能接受的语言。 ()
解答、对、错、错、错、错、错
五、简答题
、句柄 、素短语 、语法树 、归约 、推导
<解答=
、句柄:一个句型的最左直接短语称为该句型的句柄。
、素短语:至少含有一个终结符的素短语,并且除它自身之外不再含任何更小的素短语。
、语法树:满足下面 个条件的树称之为文法 <=的一棵语法树。
① 每一终结均有一标记,此标记为 '
.
∪'
(
中的一个符号;
② 树的根结点以文法 <=的开始符 标记;
③ 若一结点至少有一个直接后继,则此结点上的标记为 '
.
中的一个符号;
④ 若一个以 7 为标记的结点有 C 个直接后继,且按从左至右的顺序,这些结点的标记分
别为 D
&D
&…&D
C
,则 7D
&D
&…&D
C
,必然是 的一个产生式。
、归约:我们称 EF 直接归约出 7F,仅当 7E是一个产生式,且 、F∈'
.
∪'
(
。归约
过程就是从输入串开始,反复用产生式右部的符号替换成产生式左部符号,直至文法开始符。
、 推 导 : 我 们 称 7F 直 接 推 出 EF , 即 7FÞ EF , 仅 当 7 E 是 一 个 产 生 式 , 且
、F∈'
.
∪'
(
。如果
Þ
Þ…Þ
,则我们称这个序列是从
至
的一个推导。若存在一
个从
的推导,则称
可推导出
。推导是归约的逆过程。
六、问答题
、给出上下文无关文法的定义。
<解答=
一个上下文无关文法 是一个四元式('
(
&'
.
&&5),其中:
●'
(
是一个非空有限集,它的每个元素称为终结符号;
●'
.
是一个非空有限集,它的每个元素称为非终结符号,'
(
∩'
.
G;
● 是一个非终结符号,称为开始符号;
●5 是一个产生式集合(有限),每个产生式的形式是 P ,其中,5∈'
.
,
∈'
(
∪'
.
。开始符号 至少必须在某个产生式的左部出现一次。
、文法 <=:
5HH
H55H
5
H
H
()它是 *A+,"B 哪一型文法?
()它生成的语言是什么?
<解答=
()由于产生式左部存在终结符号,且所有产生式左部符号的长度均小于等于产生式右部的符
号长度,所以文法 <=是 *A+,"B 型文法,即上下文有关文法。
()按产生式出现的顺序规定优先级由高到低(否则无法推出句子),我们可以得到: