编译原理-文法

文法定义：

其中：

        ：非终结符；（非空有穷集合）

        ：终结符；（非空有穷集合）

        P：产生式（规则）；（非空有穷集合）

        S：识别符（开始符）；

 文法分类：0型、1型（上下文有关）、2型（上下文无关）、3型（正规）

其中：

        0型：一般的文法至少是0型；

        1型（上下文有关）：任何产生式α——>β都有 |α| >= |β|（其中除S——>空串，注意S为开始符）；

        2型（上下文无关）：任何产生式α——>β都有α是一个非终结符；

        3型（正规）：任何产生式都只能是α——>aβ或α——>a这两种形式中的一种；

注意：

        1：语言是所有句子的集合

        2：不同文法可能产生同一个语言，即文法可能等价 

        3：文法二义，不足以说明它产生的语言二义，只有当产生该语言的所有文法都是二义的，则说该语言是二义的

        4：若符号串x是文法G的句子，则x一定是G的句型