文法和语言总结与梳理 （9.25）

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

一个程序设计语言其实就是一个记号系统，和自然语言一样，它的完整定义包括语法和语义两方面。一个语言的语法是指一组规则，用它可以形成和产生一个合适的程序。程序设计语言的语义常常分为两类，一种是静态语义，另一种是动态语义。静态语义是一系列限定规则，并确定哪些合乎语法的程序是合适的，动态语义也称为运行语义或者是执行语义，表面程序要做什么，要计算什么。

文法的二义性：

一个句型可能对应多个语法树，一个句型可能对应多个最左/最右推导。

如果一个文法中的某个句子可以对应两个不同的语法树，则称这个文法是二义的。

两个不同的文法可能是一样的语言。

如果一种语言的所有文法都是二义的，则称此语言先天二义。

判定一个文法是否是二义的是递归不可解的。

 

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

整数n   n :: = 1 | 2 | ..... | 9 | 0

标识符i   i :: = <字母> | {<字母> | <数字 >}

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

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

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

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

函数   ::= <类型说明><函数名><复合语句>

程序   ::= [<常量说明部分>] [<变量说明部分>] [<过程说明部分>] <语句>