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

内容

３ư１７给出接受文法Ｓ→（Ｌ）｜ａＬ→Ｌ，Ｓ｜Ｓ的活前缀的一个ＤＦＡ。答首先将文法进行如下拓广，其中Ｓ′是拓广文法的开始符号。Ｓ′→ＳＳ→（Ｌ）｜ａＬ→Ｌ，Ｓ｜Ｓ接受该文法活前缀的一个ＤＦＡ的状态转换图见图３ư５，开始状态是Ｉ０，所有的状态都是接受状态。图３ư５识别文法活前缀的ＤＦＡ分析文法活前缀是ＬＲ分析的一个重要概念，接受文法活前缀的ＤＦＡ是构造ＬＲ分析表过程中的重要一步。一些同学在构造ＬＲ分析表时会画这样的状态转换图，但是却未理解这是接受文法活前缀的ＤＦＡ。构造ＳＬＲ（１）分析表、规范ＬＲ（１）分析表和ＬＡＬＲ（１）分析表时都需要先构造这样的ＤＦＡ，由于用ＳＬＲ（１）方法得到的ＤＦＡ的状态数最少［实际上这个ＤＦＡ就是用ＬＲ（０）方法构造的ＤＦＡ］，因此用ＳＬＲ（１）方法。３ư１８一个文法如下：Ｓ→（Ｓ）１３
Ｓ→ａ请给出该文法中对活前缀（（（有效的ＬＲ（１）项目。答该文法中对活前缀（（（有效的ＬＲ（１）项目如下：Ｓ→（ưＳ），）Ｓ→ư（Ｓ），）Ｓ→ưａ，）分析构造识别该文法活前缀的ＤＦＡ时，实际上只要画出三个ＬＲ（１）项目集就可以看出结果了，这三个项目集见图３ư６。图３ư６识别文法活前缀的三个项目集３ư１９接受文法Ｓ→Ａａ｜ｂＡｃ｜ｄｃ｜ｂｄａＡ→ｄ活前缀的ＤＦＡ见图３ư７。请根据这个ＤＦÿ