域理論簡介
域理論是研究通常叫做域
(domain)
的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要應用於電腦科學中,特別是針對函式式程式語言,用它來指定指稱語義。域理論以非常一般化的方式形式化了逼近和收斂的直覺概念,並與拓撲學有密切聯絡。在電腦科學中指稱語義的乙個可作為替代的方式是度量空間。
中文名
域理論
類屬
偏序集合的數學分支
提出人
dana scott
提出年代
1960
年代後期 目錄
1特徵2
公式介紹特徵
編輯 dana scott
在1960
年代後期發起對域的研究的主要動機是為
lambda
演算找尋指稱語義。在這種形式化中,認為「函式
」通過在這個語言中的特定項指定。在純粹語法方式下,可以得到從簡單函式到接受其他函式作為它的輸入引數的函式。再次只使用在這種形式化中的可獲得的語法變換,可以獲得所謂的不動點組合子
(其中最著名的是
y 組合子
);通過定義,它們有如下性質,對於所有函式
f 都有
f(y(f)) = y(f)。
公式介紹 編輯
要公式化這樣一種指稱語義,首先會嘗試為
lambda
演算構造乙個模型,在其中為每個
lambda
項關聯上乙個真正的(全
)函式。這樣一種模型將形式化作為純語法系統的
lambda
演算和作為操縱具體的數學函式的符號系統的
lambda
演算之間的連線。不幸的是,這種模型不能存在,如果存在,它必須包含對應於組合子
y 的乙個真正的全函式,它是計算任意輸入函式
f 的不動點的函式。不能給予
y 這樣的函式,因為某些函式(比如
「後繼函式
」)沒有不動點。這個對應於
y 的真正函式至少必須是偏函式,對於某些輸入必須是未定義的。
scott
通過形式化"部分
"或"不完全
"資訊的概念來表示仍未返回乙個結果的計算來克服這個困難。通過對計算的每個域
(比如自然數
)考慮乙個額外的元素,表示
「未定義
」輸出,就是永不結束的計算的"結果
"來建模。此外,計算的域被裝備了乙個
「次序關係
」,在其中
"未定義結果
"是最小元素。 為
lambda
演算找到模型的乙個重要步驟是只考慮保證有最小不動點的那些函式
(在這種偏序集合上
)。這些函式的集合,與適當的排序一起,再次是這個理論意義上的乙個"域
"。而限制於所有可獲得的函式的乙個子集有另乙個巨大的好處
: 有可能獲得包含它們自己的函式空間的域,就是得到應用於自身的函式。
除了這些需要的性質,域理論還允許吸引人的直覺釋義。同上所述,計算的域總是部分有序的。這種排序表示資訊或知識的層次。元素在這個次序上越高,它就更加明確和包含更多的資訊。更低的元素表示不完全的知識或中間結果。
接著通過在這個域上重複的應用單調函式來精製出結果。到達乙個不動點等價於完成乙個計算。域為這些想法提供了優越的設施,因為可以保證單調函式的不動點的存在,並且在額外的限制下,可以從下面逼近。
域控理論知識
1 什麼叫dc?什麼叫ad?2 什麼叫pdc和bdc。3 什麼是子域,什麼是父域?4 什麼叫域樹?5 什麼叫域林?6 什麼叫gc?gc 全域性編錄 global catalog 這裡對全域性編錄做個解釋。全域性編錄 global catalog,gc 全域性編錄包含了各個活動目錄中每乙個物件的最重要...
學習理論 PAC理論
1 基本概念 2 pac理論 3 vc維 4 極大似然,最大後驗概率,貝葉斯估計 5 模型評估與評價指標 6 模型診斷調參 概率近似正確 pac 理論是從概率的角度來衡量模型的正確率,給出了pac可辨識,樣本複雜度界,誤差上界。偏差 方差 偏差和方差是機器學習中很重要的兩個概念,在分析模型時對應於欠...
分布式理論 BASE理論
根據cap定理,我們在分布式系統最多只能在 一致性 可用性 分割槽容錯性 中三選二。那能不能解決3選2的問題呢?想要解決3選2的問題,首先需要思考分割槽是百分之百出現的嗎?如果不出現分割槽,那麼就能夠同時滿足cap。如果出現了分割槽,可以根據策略進行調整。比如c不必使用那麼強的一致性,可以先將資料存...