下面的条件语句文法-华为云服务初级认证hcia cloud service h13-811已过题库

（ｂ）为该文法写一个等价的非二义文法。它给予算符＊、连接和｜的优先级和结合性同２．２节中定义 的一致。 （ｃ）按上面两个文法构造句子ａｂ｜ｂ＊ａ的分析树。 ３．５　下面的条件语句文法 ｓｔｍｔ→ｉｆｅｘｐｒｔｈｅｎｓｔｍｔ｜ｍａｔｃｈｅｄ ｓｔｍｔ ｍａｔｃｈｅｄ ｓｔｍｔ→ｉｆｅｘｐｒｔｈｅｎｍａｔｃｈｅｄ ｓｔｍｔｅｌｓｅｓｔｍｔ｜ｏｔｈｅｒ 试图消除悬空ｅｌｓｅ的二义性，请你证明该文法仍然是二义的。 ３．６　为字母表 Σ＝｛ａ，ｂ｝上的下列每个语言设计一个文法，其中哪些语言是正规的？ （ａ）每个 ａ后面至少有一个ｂ跟随的所有串。 （ｂ）ａ和ｂ的个数相等的所有串。 （ｃ）ａ和ｂ的个数不相等的所有串。 （ｄ）不含 ａｂｂ作为子串的所有串。 ＊（ｅ）形式为ｘｙ且ｘ≠ｙ的所有串。 ３．７　我们可以在文法产生式的右部使用类似正规式的算符。方括号可以用来表示产生式的可选部 分，例如可以用 　　ｓｔｍｔ→ｉｆｅｘｐｒｔｈｅｎｓｔｍｔ［ｅｌｓｅｓｔｍｔ］ 表示 ｅｌｓｅ子句是可选的。通常，Ａ→α［β］γ等价于两个产生Ａ→αβγ和Ａ→αγ。 花括号用来表示短语可重复出现若干次（包括零次），例如 　　ｓｔｍｔ→ｂｅｇｉｎｓｔｍｔ｛；ｓｔｍｔ｝ｅｎｄ 表示处于ｂｅｇｉｎ和ｅｎｄ之间的由分号分隔的语句表。通常，Ａ→α｛β｝γ等价于Ａ→αβγ和Ｂ→βＢ｜ε。 概念上，［β］代表正规式 Ｂ｜ε，｛β｝代表β ＊ ，现在我们把它们推广为允许文法符号的任何正规式出现在 产生式的右部。 （ａ）修改上面的ｓｔｍｔ产生式，使得每个语句都以分号终止的语句表出现在产生式右部。 （ｂ）给出上下文无关的产生式，它和 Ａ→Ｂ ＊ ａ（Ｃ｜Ｄ）产生同样的串集。 （ｃ）说明如何用一组有限的上下文无关产生式来代替产生式Ａ→γ，其中 γ是正规式。 ３．８　（ａ）消除习题３．１文法的左递归。 （ｂ）为（ａ）的文法构造预测分析器。 ３．９　为习题３．３的文法构造预测分析器。 ·６０１· 第３章　语 法 分 析