混合冪domain的極大點(diǎn)空間及其對(duì)某類domain結(jié)構(gòu)的封閉性.pdf

1、為了模型化不確定計(jì)算而引入的冪domain已成為程序設(shè)計(jì)語言指稱語義學(xué)研究中最重要的構(gòu)造,幾個(gè)經(jīng)典的冪domain構(gòu)造已經(jīng)被廣泛的研究(見[5]).C.A.Gunter在[6]中引入了混合冪domain的概念.并證明了當(dāng)D為sober空間時(shí),混合冪domain的序刻畫,使我們更清楚的看到其內(nèi)在本質(zhì).但是仍有一些基本問題沒還不甚清楚,作為一個(gè)重要的概念還是有必要給予研究.首先我們研究了Lawson緊連續(xù)domain D的混合冪domain

2、.首先對(duì)一般的domain D該文討論了其混合冪domain一些基本性質(zhì)(§2).同時(shí)因?yàn)榻陙響?yīng)用domain環(huán)境來解決拓?fù)鋵W(xué)中的某些問題引起了人們的關(guān)注(見[8,9,10]),我們進(jìn)而討論了混合冪domain的domain環(huán)境問題.該文給出了混合冪domain極大元的刻畫,證明了當(dāng)D為L(zhǎng)awson緊時(shí),混合冪domain是其極大點(diǎn)空間的domain環(huán)境(§3).其次研究了FB-domain關(guān)于混合冪domain構(gòu)造是封閉性.一個(gè)Do