文法和语言总结与梳理

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

  文法是用于描述语言的语法结构的形式规则。任何一种语言都有它自己的文法，不管它是机器语言还是自然语言。就像自然语言里有主谓宾这样的文法一样，机器语言也有描述它语言构成的特定文法。文法分四种类型，分别是0型文法、1型或上下文有关的、2型的或上下文无关的、3型文法或正规文法。

  4种文法类型的定义是逐渐增加限制的，因此每一种正规文法都是上下文无关的，每一种上下文无关文法都是上下文有关的，而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型与语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上下文有关语言、上下文无关语言和正规语言。

  描述上下文无关文法的句型推导的直观工具，即语法树，也称推导树。如果在推导的如何一步α=>β，其中α、β是句型，都是对α中的最左（最右）非终结符进行替换，则称这种推导为最左（最右）推导。在形式语言中，最右推导常被称为规范推导。由规范推导所得的句型称为右句型或规范句型。

 

2. 尝试写出PL/0 语言的文法。（或者你认为比较好的语言规则）

整数n        n=...|-1|0|1|2|...

标识符i      i=<标识符>

表达式e     ::=[+|-]<项>{<加减运算符><项>}

 

条件语句   ::=if<条件>then<语句>

 

赋值语句   ::=<id>:=<表达式>

 

复合语句   ::=begin<语句>{;<语句>} end

 

函数          (不会嘿嘿嘿)

 

程序          ::=<分程序>.

 

转载于:https://www.cnblogs.com/av10492/p/11600124.html