编译原理（二）

第二章形式语言基础

文章目录

2.1形式语言是符号串集合
2.2形式语言是由文法定义的
2.3各种语法成分的定义
2.4文法的等价变换

计算机处理语言，首先应考虑语言的形式化、规 范化，使其具有可计算性和可操作性；这就是形式语 言理论研究的问题。 形式语言诞生于1956年，由Chomsky创立。通常， 语言研究至少涉及三个方面：语法、语义和语用；
形式语言的基本观点是 ： 语言是符号串的集合！
形式语言理论研究的基本问题是： 研究符号串集合的表示方法、结构特性 以及运 算规律。

2.1形式语言是符号串集合

1. 符号串的运算
   2.符号串集合的运算

名词解释

== 形式语言==是字母表上的符号按一定的规则组成的所有符号串集合；其中的每个符号串称为一个句子。

字母表 – 元素(符号)的非空有限集合；

符号串 – 符号的有限序列；

符号串集合 – 有限个或者无限个符号串组成 的集合；

规则 – 以某种形式表达的在一定范围内共 同遵守的章程和制度；这里，指符号串的组成规则。

• 形式语言概念示例
  • 例1：
    L1={ 00,01,10,11 };
    字母表∑1= {0,1},
    句子有：00,01,10,11
    两个语言
    • 例2
      L2={ abmc,bn | m>0,n≥0 }
      字母表∑2= {a,b,c},
      §句型1: abmc
      有句子：abc, abbc, abbbc,…
      §句型2: bn
      有句子： , b, bb, bbb,…
      【注】
      (1) b0=（空符号串）,b1=b,b2=bb,b3=bbb,…
      (2) L1为有限语言; L2为无限语言。

2.1.1 . 符号