第二章形式语言基础
文章目录
2.1形式语言是符号串集合
2.2形式语言是由文法定义的
2.3各种语法成分的定义
2.4文法的等价变换
计算机处理语言,首先应考虑语言的形式化、规 范化,使其具有可计算性和可操作性;这就是形式语 言理论研究的问题。 形式语言诞生于1956年,由Chomsky创立。通常, 语言研究至少涉及三个方面:语法、语义和语用;
形式语言的基本观点是 : 语言是符号串的集合!
形式语言理论研究的基本问题是: 研究符号串集合的表示方法、结构特性 以及运 算规律。
2.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:
2.1.1 . 符号