《编译原理》总结 第二章

2.1  程序语言的定义

    字母表、单词符号、语法单位

• 语法

        词法 规则、语法规则

• 语义

        语义描述方法：属性文法和基于属性文法的语法制导翻译方法。

2.2  高级语言的一般特性

高级语言的分类

• 范型（4种）
• 编译时的类型检查（2种）
• 类型检查强弱（2种）

程序设计语言的一般特性：

        （1）程序结构

        （2）数据类型与操作

            数据类型：基本数据类型、构造数据类型、自定义数据类型

            数据类型的三要素

        （3）语句

        表达式由操作数和操作符组成。前缀、中缀、后缀

        （4）控制结构

2.3  程序语言的语法描述

        概念：字母表、符号串、符号串的前缀 后缀 子串

        正则闭包和正闭包相比，没有空串

上下文无关文法（独立性、不能用来描述自然语言）

        包括终结符、非终结符、开始符号、产生式

产生式的推导：最左、最右

如果一个文法存在某个句子对应两棵不同的语法分析树，则称这个文法是二义的。

消除二义性：给产生式定义优先级

名称	表达式	限制
0型文法（短语文法）	a->b	a、b属于终结符非终结符集合的并 a至少含有一个非终结符
1型文法（上下文有关文法）	a->b	a的长度要小于等于b的长度 S->ε 除外，但S不得出现于任何产生式的右部
2型文法（上下文无关文法）	A->a	A为非终结符，a为终结符和非终结符组成的符号串，可以是空串
3型文法（正规文法）	A->aB或者A->Ba	A、B为非终结符， a为终结符组成的符号串，可以是空串

语言表达能力依次减弱

课后题

6.    是0~9组成的数字串

        0127:

        N->ND->NDD->NDDD->DDDD->0DDD->01DD->012D->0127

        N->ND->NDD->NDDD->DDDD->DDD7->DD27->D127->0127

        34:

        N->ND->DD->3D->34

        N->ND->DD->D4->34

        568:

        N->ND->NDD->DDD->5DD->56D->568

        N->ND->NDD->DDD->DD8->D68->568

7.    G->1|3|5|7|9

        O->1|2|3|4|5|6|7|8|9

        T->0|O

        R->O|OT

        S->G|RG

8.    最左
        E->E+T->T+T->F+T->i+T->i+T*F->i+F*F->i+i*F->i+i*i

       E->T->T*F->F*F->i*F->i*(E)->i*(E+T)->i*(T+T)->i*(F+T)->i*(i+T)->i*(i+F)->i*(i+i)

        最右

       E->E+T->E+T*F->E+T*i->E+F*i->E+i*i->i+i*i

       E->T->T*F->T*(E)->T*(E+T)->T*(E+F)->T*(E+i)->T*(T+i)->T*(F+i)->T*(i+i)->F*(i+i)->i*(i+i)

9.    句子iiiei有两个语法树：

 S->iSeS->iSei->iiSei->iiiei

S->iS->iiSeS->iiSei->iiiei

10.    s->TS|T 

        T->(S)|()

11.    L1

        S->AB

        A->aAb|ab

        B->cB|c

        L2

        S->AB

        A->aA|a

        B->bBc|bc

        L3

        S->AB

        A->aAb|ab

        B->aBb|ab

        L4

        S->A|B

        A->1A0|B

        B->0B1|01

感想：

关于几种语法的区分整理完笔记也一头雾水，通过百度搜索了解了具体的区分方法。

在语法设计的逻辑方面感觉比较难一点。