第1章集合关系和语言.ppt

1.1 集合 1.1 集合 1.1 集合 1.1 集合 1.1 集合 1.1 集合 1.2 关系与函数 1.2 关系与函数 1.2 关系与函数 1.2 关系与函数 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.3 特殊类型的二元关系 1.4 有穷集合与无穷集合 1.4 有穷集合与无穷集合 1.4 有穷集合与无穷集合 1.5 三个基本的证明技术 1.5 三个基本的证明技术 1.5 三个基本的证明技术 1.5 三个基本的证明技术 1.5 三个基本的证明技术 1.5 三个基本的证明技术 1.6 闭包与算法 1.6.1 算法 1.6.2 函数的增长率 1.6.2 函数的增长率 1.6.2 函数的增长率 1.6.2 函数的增长率 1.6.2 函数的增长率 1.6.3 算法分析 1.6.3 算法分析 1.6.3 算法分析 1.6.3 算法分析 1.6.4 封闭性与闭包 1.6.4 封闭性与闭包 1.6.4 封闭性与闭包 1.6.4 封闭性与闭包 1.6.4 封闭性与闭包 1.7 字母表和语言 .形式语言 如计算机的各种程序设计语言、数理逻辑中的谓词演 算语言等都属于形式语言。 形成：是少数人经过严格地形式定义确定的语言。 在五十年代Chomky建立了形式语言的理论体系，从此 它发展很快，形式语言的研究已成为计算机科学的一个 重要领域。 形式语言：定义为一个严格的数学系统，其严格的形 式性使我们能给出形式语言的数学描述，进而揭示所描 述语言的结构、特性及其应用范围。 描述形式语言有两种方法： 生成法 识别法。 生成法：用文法给出产生该语言的所有句子的规则。根 据这些规则可以产生语言中每个句子。这些规则就叫生 成式或产生式。 形式语言必须规定所用基本符号集合，这就是字母表。 一.字母表 字母表：符号的有限集合。通常用V或者?表示。 例如 V＝?a,b,c? 。 二． 符号串 符号串：是由字母表中的符号组成的序列。 例如，aabbcc就是上述字母表V上的一个符号串。 符号串的长度：即是符号串所含符号个数。 例如符号串?＝aabbcc 用???表示?的长度，则 |??＝6。 空符号串：不含任何符号的符号串，通常用?表示。 显然???＝0 。 三.符号串的“连接”运算“?” 例符号串x=abc，y=cba，x与y的连接构成符号串z, 则 z=x?y=abc?cba=abccba 显然连接运算“?”满足可结合性且有幺元?，即对任何符 号串x,y,z有 (x?y)?z=x?(y?z) x??=??x=x 对符号串的连接可以写成乘幂的形式，即对任何符号串 x有：x?x=x2 x?x?x=x3 一般地: xn-1?x=xn xm? xn =xm+n ( xm)n=xmn 四．符号串集合的乘积 令A和B是符号串的集合，A与B的乘积记作AB，且 AB＝?x?y?x?A?y?B? 例如，A＝?a,b,ab? ，B=?0,1? ， 则 AB＝?a0,b0,,ab0,a1,b1,ab1? 由于符号串集合的乘积的运算是可结合的，所以也可写成乘幂的形式。即A是符号串集合，则 AA＝A2 AmAn= Am+n 当两个集合中有一个集合是空集时，则 它们的乘积为空集。即?A=A?=?。 五．字母表的闭包V?与V* 令V是个字母表。则 V——由V中符号构成的长度为1的符号串的集合。 V2——由V中符号构成的长度为2的符号串的集合。 V3——由V中符号构成的长度为3的符号串的集合。 于是 Vk＝{w|w是由V中的符号构成的符号串，且|w|=k } V0={?} V?=V?V2?V3?V4?… V*=V0?V?V2?V3?V4?… V*是由V中符号构成的任意长度的符号串(所有符号串)构成的集合。 例如，V＝{0,1} V+={0,1,00,01,10,11,000,001,010,011,100,101,110,111,…} V*={?,0,1,00,01,10,11,000,001,010,011,100,101,110,111,…} 六．语言 定义：设V是个字母表, L?V*,则称L是V上的一个语言。 例如，V＝{0,1} L1=Ф L2={0, 00, 000，0000，00000，……} L3={1, 11, 111, 1111, 1111