编译原理(第3版)习题精选与解析（第三章部分解析）

内容

３ư１７给出接受文法Ｓ→（Ｌ）｜ａＬ→Ｌ，Ｓ｜Ｓ的活前缀的一个ＤＦＡ。答首先将文法进行如下拓广，其中Ｓ′是拓广文法的开始符号。Ｓ′→ＳＳ→（Ｌ）｜ａＬ→Ｌ，Ｓ｜Ｓ接受该文法活前缀的一个ＤＦＡ的状态转换图见图３ư５，开始状态是Ｉ０，所有的状态都是接受状态。图３ư５识别文法活前缀的ＤＦＡ分析文法活前缀是ＬＲ分析的一个重要概念，接受文法活前缀的ＤＦＡ是构造ＬＲ分析表过程中的重要一步。一些同学在构造ＬＲ分析表时会画这样的状态转换图，但是却未理解这是接受文法活前缀的ＤＦＡ。构造ＳＬＲ（１）分析表、规范ＬＲ（１）分析表和ＬＡＬＲ（１）分析表时都需要先构造这样的ＤＦＡ，由于用ＳＬＲ（１）方法得到的ＤＦＡ的状态数最少［实际上这个ＤＦＡ就是用ＬＲ（０）方法构造的ＤＦＡ］，因此用ＳＬＲ（１）方法。３ư１８一个文法如下：Ｓ→（Ｓ）１３
Ｓ→ａ请给出该文法中对活前缀（（（有效的ＬＲ（１）项目。答该文法中对活前缀（（（有效的ＬＲ（１）项目如下：Ｓ→（ưＳ），）Ｓ→ư（Ｓ），）Ｓ→ưａ，）分析构造识别该文法活前缀的ＤＦＡ时，实际上只要画出三个ＬＲ（１）项目集就可以看出结果了，这三个项目集见图３ư６。图３ư６识别文法活前缀的三个项目集３ư１９接受文法Ｓ→Ａａ｜ｂＡｃ｜ｄｃ｜ｂｄａＡ→ｄ活前缀的ＤＦＡ见图３ư７。请根据这个ＤＦＡ来构造该文法的ＳＬＲ（１）分析表，并说明该文法为什么不是ＳＬＲ（１）文法。图３ư７识别文法活前缀的ＤＦＡ答分析表见表３ư４，注意ＦＯＬＬＯＷ（Ａ）＝｛ａ，ｃ｝。因为有两处有移进－归约冲突，所以该文法不是ＳＬＲ（１）文法。２３
表３ư４为３ư１９题的文法构造的分析表状态动作转移ａｂｃｄ$ＳＡ０ｓ３ｓ４１２１ａｃｃ２ｓ５３ｓ７６４ｒ５ｓ８，ｒ５５ｒ１６ｓ９７ｓ１０，ｒ５８ｒ３９ｒ２１０ｒ４３ư２０证明文法Ｓ→ＡａＡｂ｜ＢｂＢａＡ→εＢ→ε是ＬＬ（１）文法，但不是ＳＬＲ（１）文法。答先证明它是ＬＬ（１）文法。因为仅非终结符Ｓ有两个不同的选择，因此只需考察它的两个右部。由于ＦＩＲＳＴ（ＡａＡｂ）＝｛ａ｝ＦＩＲＳＴ（ＢｂＢａ）＝｛ｂ｝它们的交集为空，所以该文法是ＬＬ（１）文法。这里不是通过构造ＳＬＲ（１）分析表，而是通过简单的分析来判断该文法不是ＳＬＲ（１）。根据该文法，不管对什么句子，在面临第一个符号时进