第二章 高级语言及语法描述

1、语法三个基本概念：
    （1）字母表
    （2）单词符号
    （3）语法单位
2、语法、语义、文法区别：
语法：一组规则，用这组规则可以产生形式上正确的程序。
语义：语义是指这样的一组规则，使用它可以定义一个程序的意义。

文法：文法是描述语言的语法结构的形式规则（即语法规则）。

3、高级语言的分类
（1）按程序设计范型分为：
强制式语言（过程式语言。c）
应用式语言（函数式语言。lisp）
基于规则的语言（prolog,yacc）

面向对象的语言(java)
（2）按编译时是否需要类型检查分为：
静态类型语言(c,c++,java)

动态类型语言(Python, Ruby,PHP)
（3）按类型检查强弱分为：
弱类型语言(C,C++，VB)

强类型语言(JAVA， C#)
4、程序设计语言的一般特性：
（1）程序结构
（2）数据类型与操作
（3）语句

（4）控制结构
5、上下文无关文法组成部分：终结符号、非终结符号、开始符号、产生式。
用大写字母代表非终结符，小写字母代表终结符，用α、γ、β等代表由终结符和非终结符组成的符号串。
第六题
G6:
N→D|ND
D→0|1|2|3|4|5|6|7|8|9
则L(G6)是终结符产生的一个符号串，即数字0~9组成的符号串。
0127最左推导：N→ND→NDD→NDDD→DDDD→0DDD→01DD→012D→0127
0127最右推导：N→ND→NDD→NDDD→DDDD→DDD7→DD27→D127→0127
第七题
写一个文法，使其语言是奇数集，且每个奇数不以0开头。
G(7):
A→1|3|5|7|9
B→2|4|6|8|A
D→0|B
E→A|FA
F→B|BD
6、语法树的二义性：
E→E+E|E*E|(E)|ｉ,　关于（i*i+i)的推导

推导一：E→(E) →(E*E) →(i*E) →(i*E+E)→(i*i+E) →(i*i+i)

推导二：E→(E)→(E+E)→(E*E+E)→(i*E+E)→(i*i+E)→(i*i+i)

学习总结：本章作为这门课的正式第一章，让我充分了解到了这门课程的困难程度，就算上课专心听讲也不一定能都理解。所以课前的预习是必要的。本章学习了高级语言的语法描述，重点是上下文无关文法，这一部分内容感觉比较陌生，就和刚接触计算机语言感觉差不多，不能完全理解它的作用和原理，希望后续的学习能慢慢深入。