软件设计师教程学习笔记（二）程序设计语言基础知识

1、文法和语言的形式描述

概念：

1、∈：属于

2、⊆：包含于

A ⊆ B即A含于B（或B包含A），A是B的子集
如果A是B的子集，但B中至少有一个元素不属于A，那么A就是B的真子集

3、∅：空集

4、产生式：由条件和动作组成的指令，-> ，展开产生式=>

5、终结符：不能单独出现在推导式左边的符号，也就是说终结符不能再进行推导。

终结符是一个形式语言的基本符号，它们不能被分解成更小的单位。确切地说，一个语法的规则不能改变终结符。
x -> xa
x -> ax
在这种语法之中，a是一个终结符，因为没有规则可以把a变成别的符号。
不过，有两个规则可以把x变成别的符号，所以x是非终结符。
一个形式语法所推导的形式语言必须完全由终结符构成。

6、非终结符：不是终结符的都是非终结符。非终结符可理解为一个可拆分元素，而终结符是不可拆

分的最小元素。产生式左边必为非终结符。
非终结符是可以被取代的符号。一个形式文法中必须有一个起始符号；这个起始符号属于非终结符的集合。
参考：https://blog.csdn.net/qq_40147863/article/details/88770715

7、文法

VN，非空有限集，其元素皆为非终结符
VT，非空有限集，其元素皆为终结符
VN∩VT=∅，VN、VT不含公共元素
V=VN∪VT，V为文法G的词汇表，V中的符号为文法符号
P是产生式的有限集合，产生式α（左部）→β（右部），α∈V+ ，且α至少包含一个非终结符，β∈V*。
若干个产生式的左部相同时，α→β1，α→β2，……α→βn，可简写为α→β1|β2……|βn
βi（1<=i<=n）为α的一个候选式
S∈VN，称为开始符号，它至少在一条产生式中作为左部出现。

0型文法：即短语文法，限制最少的文法，一般的文法，至少是0型文法。 对应图灵机。
1型文法：即上下文有关文法，每一个α→β,都有|β|>=|α|。这里的|β|表示的是β的长度。即左边长度小于右边 （在这里虽然要求|β|>=|α|，但有一特例：α→ε也满足1型文法）对应线性界限自动机。
2型文法：即上下文无关文法，它对应于下推自动机，左边只有一个非终结符。对应非确定的下推自动机。
3型文法：即正规文法，它对应于有限状态自动机。在2型文法的基础上满足:A→α|αB（右线性）或A→α|Bα（左线性）中的其中一个。A -> a、A -> Ba、A ->