混合冪domain的極大點空間及其對某類domain結構的封閉性.pdf

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

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