文法和语法总结与梳理

1、梳理第二章的内容，写一篇理解与总结。

第二章中：文法的形式定义 上下文无关文法、正规文法 推导、短语、分析树、二义性 有限自动机的形式定义 自动机、文法、表达式等价性 NFA的确定化和DFA的最小化。

文法的理解是：文法是对语言结构的定义与描述，即从形式上描述和规定语言结构，称之为语法

而语法也有它的规则：通过建立一组规则（产生式），来描述句子的语法结构。

在课堂上听老师讲课，较为熟悉的是文法四元组、推导、句型、短语之类。

在习题上，推导是比较熟悉的，给予一个特定的句型，通过推导来把这个句子弄出来，但是如果只是单单看书本上的概念和描述，就会非常抽象，因为定义的东西多，而且看得我乱七八糟，还是通过老师上课讲述和习题的练习才能理解。

不过到目前为止，上下文语法我是不太清晰。同时在推导中，还要特别注意的是最右推导也称之为规范推导，而最左推导只有一个定义也就是 最左推导。在做语法树、句型、短语、直接短语中，语法树就要求规范推导（最右推导），理解了什么是短语，什么是句柄跟直接短语后，就可以在语法树上直接看出答案来。

在文法二义性中，还是不太熟悉，不过在网上找到相关文法二义性的消除的习题讲解后，就理解这种习题该如何推导。

在语言构造文法中，对于文法的构造还是不熟练。

总的来说，第二章内容不算复杂，只要自己理解了，做起来就很容易，但容易部分知识的内容概括的太抽象，一堆的符号串跟字母串的描述看不太懂。

2、

尝试写出PL/0 语言的文法。

整数n

标识符i

表达式e

条件语句

赋值语句

复合语句

函数

程序

...

 ->

->[][][]

->CONST{,};

->=

->{}

->VAR{,{标示符}};

->{|}

->;{}

->procedure;

->|||||||

->:=

->begin{:}

->|ood

->[+|-]{}

->{}

->||()

->+|-

->*|/

->=|#|=

->ifthen

->call

->whiledo

->read({,})

->write({,})

->a|b|c....x|y|z

->0|1|2....7|8|9