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

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

2、.首先對一般的domain D該文討論了其混合冪domain一些基本性質(zhì)(§2).同時因為近年來應(yīng)用domain環(huán)境來解決拓撲學中的某些問題引起了人們的關(guān)注(見[8,9,10]),我們進而討論了混合冪domain的domain環(huán)境問題.該文給出了混合冪domain極大元的刻畫,證明了當D為Lawson緊時,混合冪domain是其極大點空間的domain環(huán)境(§3).其次研究了FB-domain關(guān)于混合冪domain構(gòu)造是封閉性.一個Do