序列擬連續(xù)domain的廣義有界理想

打開文本圖片集

摘 要：domain理論是計算機(jī)程序語言的理論基礎(chǔ)，為計算機(jī)函數(shù)式程序提供了數(shù)學(xué)模型。擬連續(xù)domain是domain理論的重要推廣。本文以鏈為主要研究對象，對一般的擬連續(xù)domain進(jìn)行了推廣，定義了序列擬連續(xù)domain、序列擬基及其廣義有界理想，并證明了序列擬基可以嵌入到其廣義有界理想中。同時，本文指出廣義有界理想的集合是序列擬連續(xù)domain。（剩余7275字）