自然界、人類社會(huì)和認(rèn)知領(lǐng)域中普遍存在可擴(kuò)展的類。它有兩種存在形式:潛無窮序列,以及有窮開放類。后者是成員可擴(kuò)展的類,這種擴(kuò)展或開放的過程不能無限制地進(jìn)行下去,且無法給定過程的終點(diǎn)。進(jìn)一步,開放過程具有不同的分層和階段,而其生成的類成員以及用于生成類成員的算子也歸屬于不同層次和不同的階段。本文主要采用類型論的方法,描述有窮開放過程及其產(chǎn)物有窮開放類,給出了用于描述有窮開放類的分層和分階段屬性的開放類型系統(tǒng)。

【文章頁數(shù)】：24 頁


本文編號：3979211