离散数学课件2.ppt

例 1 如果论述域是整数I, 那么能为3 整除的正整数集合S的谓词定义如下: 同样集合能归纳地定义如下: ; (1) (基础)3∈S, ; (2) (归纳)如果x∈S和y∈S, 那么x+y∈S, ; (3) (极小性)没有一个整数是S的元素, 除非它是有限次应用条款1和2得出的。 设Σ表示一个有限的非空的符号(字符)集合、我们称Σ为字母表。由字母表Σ中有限个字符拼接起来的符号串叫做字母表Σ上的一个字(或叫串)。 例 2 (a) 如果Σ={a,b, …, z}, 那么is, then都是Σ上的字。 (b) 如果Σ={你, 我, 人, 工, …, 是}, 那么“你是工人”是Σ上的串。 (c) 如果Σ={a, b, …, z, }, 这里是代表空白。那么that waslongago是Σ上的串, 习惯上印成that was long ago。 ] ] ] ] ] 设x是Σ上的一个字, 如果x=a1a2…an, 这里n∈N, 对每一1≤i≤n, ai∈Σ, 那么x中的符号个数n称为x的长度, 记为‖x‖。 长度为0的串表示为Λ, 叫做空串。注意空串不是空白符, 前者长度为 0, 后者长度是1。如果x和y都是在Σ上的符号串, x=a1a2…an和y=b1b2…bm, 这里, 对所有i和j, ai∈Σ和bj∈Σ, 那么x连结(或叫并置, 毗连)y, 记为xy, 是串 如果x=Λ, 那么xy=y, 如果y=Λ, 那么xy=x。如果z=xy, 那么x是z的词头, y是z的词尾。如果x≠z, 那么x是真词头; 如果y≠z, 那么y是真词尾。如果w=xyz, 那么y是w的子串, 如果y≠w, 那么y是真子串。 定义2.3-1 设Σ是一个字母表, Σ上的非空串的集合Σ+定义如下: (1) (基础)如果a∈Σ, 那么a∈Σ+。 (2) (归纳)如果x∈Σ+且a∈Σ, 那么ax∈Σ+。 (ax表示串, 它由符号a和串x连结组成)。 ; (3) (极小性)集合Σ+仅包含这些元素: 它能由有限次应用条款1和2构成。 集合Σ+包含长度为1, 2, 3, …的串, 所以是无限集合。然而, 在Σ+中没有一个串包含无限数目的符号, 这是极小性条款限制的结果。 例 3 如果Σ={a,b}, 那么Σ+={a,b, aa,ab,ba,bb,aaa,aab,…}。 Σ上的所有有限符号串的集合记为Σ*。集合Σ*包含空串, 其归纳定义如下: 定义2.3-2 设Σ是字母表, 那么Σ*定义如下: (1) (基础)Λ∈Σ*。 (2) (归纳)如果x∈Σ*和a∈Σ, 那么ax∈Σ*。 (3) (极小性)没有一个串可以是集合Σ*的元素, 除非它能有限次应用条款1和条款2构成。 当然, Σ*也可这样定义: Σ*=Σ+∪{Λ} 例 4 (a) 如果Σ={a,b}, 那么Σ*={Λ,a,b,aa,ab,…}。 (b) 如果Σ={0,1}, 那么Σ*是有限二进制序列的集合, 包括空序列。 归纳定义常用来刻画数学中的合式公式, 或叫成形公式(Well-Formed Formula)。这方面我们已见过一些例子。 如第一章的命题公式定义和谓词公式定义等。 例 5 为简明起见, 我们将算术表达式集合限制于仅包含整数, 一元运算+和-, 和二元运算+、 -、 *和/。 (1) (基础) 如果D={0, 1, 2, 3, 4, 5, 6, 7, 8, 9}和x∈D+, 那么x是一算术表达式。 (2) (归纳) 如果x和y都是算术表达式, 那么 (i) (+x) 是一算术表达式, (ii) (-x) 是一算术表达式, (iii) (x+y) 是一算术表达式, (iv) (x-y) 是一算术表达式, (v) (x*y) 是一算术表达式, (vi) (x/y) 是一算术表达式。 (3) (极小性)一个符号序列是一算术表达式当且仅当它能得自有限次应用条款1和2。 用这个定义刻画的算术表达式集合包括45,000,(-321),(3