[教育学]中南大学离散数学课件.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。如果