CFG简化动机与问题探讨.pdfVIP

1三个简化

语法简化的动机

解析问题

给定一个CFGG和字符串w，确定w∈L(G)。

•编译器设计和自然语言处理中的基本问题。

如果G处于一般形式，则该过程可能非常低效。因此，将语法“转换”为更简单的形式，以使解析问题更容易解

决。

1.1消除‑产生式

消除‑产生式

•通常希望确保在推导过程间字符串的长度不超过最终生成的字符串的长度

•但如果存在-产生式（形式为A→的规则），较长的中间字符串可能会导致较短的最终字符串

•我们能否重写文法以不包含‑产生式？

消除‑产生式

问题

给定一个文法G生成一个等价的文法G0（即，0），使得G0没有形式为A→的

L(G)=L(G)

规则，除了可能的S→，并且S不出现在任何规则的右侧。

注意：如果S可以出现在某个规则的右侧，比如S→SS，那么当存在规则S→时，我们又可

得长生的最终字符串。

以到的中间字符串产短

首先介绍一个在这一转换中非常有用的概念。