[数学]形式语义学 之论域基础.pptVIP

序列域的例子 例8：{1，2} * D1 = {1，2}，1 ? 1，1 ?2，2 ?2 (整数上的?) 集合：D = {, 1,2,1,1,1,2,……} 关系： ?* : 自身: ?* , 1 ?*1 …. 元素个数相同的序列之间满足条件的关系有： 1 ?*2, 1,1 ?*1,2, 1,1 ?*2,2, 1,2 ?*2,2, 1,1,1?*2,2,2, 1,1,1 ?*1,2,1,…… 最小元： * * 论域构造符 (4)函数空间 (D?D’ , ?)定义如下: D?D’ = { f | ?d?D, f(d) = d’ ?D’}; 关系? ：对于任意f,h ?[D ?D’]， f?h,当且仅当?d ?D ，f(d) ?D? h(d) 简记为 [D?D’]或D?D’ 最小元 ?： ?d ?D ， ?(d) = ?D ? * * 函数域的例子 例9：{1，2} ?BOOL D1 = {1，2}，1 ? 1，1 ?2，2 ?2 (整数上的?) D2 = BOOL，false ?b false，false ?b true，true ?b true 集合：函数的集合，其中每个函数的定义域是D1，值域是D2；{f1, f2, f3, f4} f1 = {1 ? false, 2 ? false } f2 = {1 ? false, 2 ? true